Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
the HOL4PROOFS setting is actually HOL4_PROOFS
authorkrauss
Tue, 19 Jul 2011 11:15:38 +0200
changeset 43903 1e2aa420c660
parent 43902 8064210028b7
child 43904 95d8a2f2bffe
child 43919 a7e4fb1a0502
the HOL4PROOFS setting is actually HOL4_PROOFS
Admin/mira.py file | annotate | diff | comparison | revisions 
--- a/Admin/mira.py	Tue Jul 19 07:14:14 2011 +0200
+++ b/Admin/mira.py	Tue Jul 19 11:15:38 2011 +0200
@@ -471,4 +471,4 @@
     proofs_dir = path.join(playground, 'proofs_extended')
 
     return isabelle_make('src/HOL', env, case, paths, dep_paths, playground,
-      more_settings=('HOL4PROOFS="%s"' % proofs_dir), target='HOL-Generate-HOLLight')
+      more_settings=('HOL4_PROOFS="%s"' % proofs_dir), target='HOL-Generate-HOLLight')
isabelle