|Subject:||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]|