Re: [Axiom-developer] RE: mathaction

[root]

Kenny,

>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?

Tim