← Back to branch summary

~ubuntu-branches/ubuntu/wily/acl2/wily

« back to all changes in this revision

Viewing changes to books/cgen/cert.acl2

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2015-01-16 10:35:45 UTC
  • mfrom: (3.3.26 sid)
  • Revision ID: package-import@ubuntu.com-20150116103545-prehe9thgo79o8w8
Tags: 7.0-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
books/cgen/cert.acl2
1
 
(ld "package.lsp")
2
 
(include-book "std/portcullis" :dir :system)
3
 
 
4
 
; Added by Matt K., 9/28/2013, because defdata ultimately invokes
5
 
; with-local-state, which an error message says is disallowed with
6
 
; parallelism enabled.
7
 
(set-parallel-execution nil)
8
 
 
9
 
; Added by Jared, justified by ACL2_COMPILE_FLG setting in Makefile
10
 
; cert-flags: ? t :ttags :all