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.
ISABELLE_USEDIR_OPTIONS: less ambitious -M1 by default -- multithreading is largely untested on fringe platforms (cygwin, solaris);
authorwenzelm
Tue, 14 Apr 2009 14:37:44 +0200
changeset 30889 d7cfcb9b5c7c
parent 30888 a8f9e12d815e
child 30890 0214d179c2be
child 30891 28c7f7ba9f13
ISABELLE_USEDIR_OPTIONS: less ambitious -M1 by default -- multithreading is largely untested on fringe platforms (cygwin, solaris);
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Tue Apr 14 12:27:18 2009 +0200
+++ b/etc/settings	Tue Apr 14 14:37:44 2009 +0200
@@ -90,7 +90,8 @@
 ### Batch sessions (cf. isabelle usedir)
 ###
 
-ISABELLE_USEDIR_OPTIONS="-M max -p 1 -v true -V outline=/proof,/ML"
+ISABELLE_USEDIR_OPTIONS="-M 1 -p 1 -v true -V outline=/proof,/ML"
+#ISABELLE_USEDIR_OPTIONS="-M max -p 1 -v true -V outline=/proof,/ML"
 
 # Specifically for the HOL image
 HOL_USEDIR_OPTIONS=""
isabelle