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.
HOL_USEDIR_OPTIONS: default to -M 1 (more robust);
authorwenzelm
Fri, 10 Aug 2007 10:54:19 +0200
changeset 24212 62ea51f106b9
parent 24211 213215a8640a
child 24213 71c57c5099d6
HOL_USEDIR_OPTIONS: default to -M 1 (more robust);
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Fri Aug 10 10:41:57 2007 +0200
+++ b/etc/settings	Fri Aug 10 10:54:19 2007 +0200
@@ -76,8 +76,8 @@
 ISABELLE_USEDIR_OPTIONS="-p 1 -v true -V outline=/proof,/ML"
 
 # Specifically for the HOL image
-HOL_USEDIR_OPTIONS=""
-#HOL_USEDIR_OPTIONS="-p 2"
+HOL_USEDIR_OPTIONS="-M 1"
+#HOL_USEDIR_OPTIONS="-M 1 -p 2"
 
 #Source file identification (default: full name + date stamp)
 ISABELLE_FILE_IDENT=""
isabelle