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
|