[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] RE: mathaction

From: root
Subject: Re: [Axiom-developer] RE: mathaction
Date: Sat, 11 Dec 2004 23:50:35 -0500


>It appears from their site that they are selling the source under some
>circumstances however (cannot see where though).  It would be helpful
>if someone could report on whether their conditions would allow
>inspection of the source for use in spotting bugs in axiom.  Am also
>wondering if standard lisp, as a 'subset', will run on gcl much as the
>'applicative common lisp' subset does in acl2.

Which site are you referencing?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]