Merge from KestrelInstitute/acl2.

acl2 · Jul 13, 2016 · 0f7f9ec · 0f7f9ec
2 parents 3fc543e + fd905c0
commit 0f7f9ec
Show file tree

Hide file tree

Showing 4 changed files with 141 additions and 212 deletions.
diff --git a/books/kestrel/soft/acl2-customization.lsp b/books/kestrel/soft/acl2-customization.lsp
@@ -18,4 +18,6 @@
 
 (ld "package.lsp")
 
+(reset-prehistory)
+
 (in-package "SOFT")