|
|
last edited 7 years ago by oldk1331 |
1 2 | ||
Editor:
Time: 2007/11/17 22:57:21 GMT-8 |
||
Note: |
changed: - One day the Axiom running on MathAction will be updated, which is fine, but then all the "live failures" provided on IssueTracker will vanish. Thus I propose to provide an optional argument to the axiom-environment, which specifies which axiom to run: <pre> \begin{axiom}[25] code \end{axiom} </pre> should run the axiom build from 'axiom--main--1--patch-25'. Martin
One day the Axiom running on MathAction? will be updated, which is fine, but then all the "live failures" provided on IssueTracker? will vanish. Thus I propose to provide an optional argument to the axiom-environment, which specifies which axiom to run:
\begin{axiom}[25] code \end{axiom}should run the axiom build from 'axiom--main--1--patch-25'. Martin