login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

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 


Submitted by : (unknown) at: 2007-11-17T22:57:21-08:00 (14 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

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