History log of /seL4-l4v-master/HOL4/examples/acl2/tests/gold/m1-story.lisp
Revision Date Author Comments
# 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.


# 9defa685 17-Aug-2010 Matt Kaufmann <kaufmann@cs.utexas.edu>

Updates to handle packages; also addition of jvm M1 model