|
|
|
last edited 8 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