|
From: | Mike Thomas |
Subject: | [Axiom-developer] RE: [Gcl-devel] The state of gcl/maxima/acl2 |
Date: | Fri, 13 Dec 2002 12:52:01 +1000 |
Hi Camm. As of a week ago for Maxima and three weeks ago for ACL2: ... x86 w32 no no pass pass pass pass pass ... Cheers Mike Thomas.
[Prev in Thread] | Current Thread | [Next in Thread] |