diff options
Diffstat (limited to 'books/workshops/1999/ste/README')
-rw-r--r-- | books/workshops/1999/ste/README | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/books/workshops/1999/ste/README b/books/workshops/1999/ste/README new file mode 100644 index 0000000..110debf --- /dev/null +++ b/books/workshops/1999/ste/README @@ -0,0 +1,5 @@ +On a Unix system in which this directory sits in an ACL2 distribution in a +subdirectory of books/case-studies/, you can type "make" to certify the books. +You can certify all books in any system as follows. + + acl2 < certify.lsp > certify.log |