| #
a809a6ad |
|
12-Sep-2010 |
Matt Kaufmann <kaufmann@cs.utexas.edu> |
Modified generation of "essential" .lisp files by improving comments about evaluation, in particular for in-package forms.
|
| #
0ca049cf |
|
17-Aug-2010 |
Matt Kaufmann <kaufmann@cs.utexas.edu> |
Fixed Lisp package issues.
|
| #
d4207eba |
|
13-Aug-2010 |
Matt Kaufmann <kaufmann@cs.utexas.edu> |
Made updates for ACL2 Version 4.0
|
| #
49dd7d4e |
|
04-Aug-2009 |
Matt Kaufmann <kaufmann@cs.utexas.edu> |
Clarified editable variables in tests/README and .acl2holrc.bash, and updated lisp/book-essence.lisp for ACL2 3.5.
|
| #
d18f5d4b |
|
08-Dec-2008 |
Matt Kaufmann <kaufmann@cs.utexas.edu> |
Updated to the latest version (3.4) of ACL2 and did some
reorganization and addition to support regression testing.
Pathnames only need to be edited in one place now:
.acl2holrc.bash
Edited and added README files. In particular, tests/README explains
how to run the new tests.
Deleted lisp/defaxioms.lisp.trans, an updated version of which is now
in tests/round-trip/gold/axioms.lisp (corresponding to ACL2 Version
3.4).
|