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: no special -M setting (now works with multithreaded);
authorwenzelm
Mon, 27 Aug 2007 17:34:55 +0200
changeset 24439 f52709e5230e
parent 24438 2d8058804a76
child 24440 27dcdcff5ce4
HOL_USEDIR_OPTIONS: no special -M setting (now works with multithreaded);
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Mon Aug 27 14:19:38 2007 +0200
+++ b/etc/settings	Mon Aug 27 17:34:55 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="-M 1"
-#HOL_USEDIR_OPTIONS="-M 1 -p 2"
+HOL_USEDIR_OPTIONS=""
+#HOL_USEDIR_OPTIONS="-p 2"
 
 #Source file identification (default: full name + date stamp)
 ISABELLE_FILE_IDENT=""
isabelle