|
|
|
last edited 6 years ago by oldk1331 |
Edit detail for #44 IssueTracker needs to be able to use old Axiom versions revision 2 of 2
| 1 2 | ||
|
Editor: oldk1331
Time: 2017/07/12 08:05:35 GMT+0 |
||
| Note: | ||
added:
From oldk1331 Wed Jul 12 08:05:35 +0000 2017
From: oldk1331
Date: Wed, 12 Jul 2017 08:05:35 +0000
Subject:
Message-ID: <20170712080535+0000@axiom-wiki.newsynthesis.org>
Status: open => closed
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