[Top][All Lists]

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

[gfsd]new package: ACL2

From: Sam Steingold
Subject: [gfsd]new package: ACL2
Date: 27 May 2002 15:22:42 -0400
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3.50

ACL2 is at <>.
it should go everywhere where maxima went.

both ACL2 and maxima are Common Lisp packages, so they require a common
lisp implementation (_either_ CLISP, _or_ CMUCL _or_ GCL) - this should
be reflected in "%%use-requirements:".

Sam Steingold ( running RedHat7.2 GNU/Linux
<> <> <>
<> <>
If Perl is the solution, you're solving the wrong problem. - Erik Naggum

reply via email to

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