Ubuntu
acl2 package

Branches for Natty

Name		Status	Last Modified	Last Commit
lp:ubuntu/natty/acl2		2 Mature	2010-11-05 16:19:11 UTC 2010-11-05	21. * build depend on latest gcl * turn o... Author: Camm Maguire Revision Date: 2010-11-05 16:19:11 UTC * build depend on latest gcl * turn off si::optimize-maximum-pages in reverse-by-separation.acl2 * remove unnecessary patch from serialize-tests.lisp