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
comments: ... --oldk1331, Wed, 12 Jul 2017 08:05:35 +0000 reply Status: open => closed |
|
|
|
last edited 7 years ago by oldk1331 |