[gfsd]new package: ACL2

[Sam Steingold]

ACL2 is at <http://www.cs.utexas.edu/users/moore/acl2/>.
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 (http://www.podval.org/~sds) running RedHat7.2 GNU/Linux
<http://www.camera.org> <http://www.iris.org.il> <http://www.memri.org/>
<http://www.mideasttruth.com/> <http://www.palestine-central.com/links.html>
If Perl is the solution, you're solving the wrong problem. - Erik Naggum