Subject: [clisp-list] clisp & acl2

From: Sam Steingold <[email-masked]>
Date: Mon Oct 8 12:41:03 2001

The maintainers of the ACL2 say that ACL2 will work on CLISP starting
with ACL 2.6 (the next version of ACL2, due out by the end of the year).

-- 
Sam Steingold (http://www.podval.org/~sds)
Support Israel's right to defend herself! <http://www.i-charity.com/go/israel>
Read what the Arab leaders say to their people on <http://www.memri.org/>
Whom computers would destroy, they must first drive mad.