# HG changeset patch
# User wenzelm
# Date 1239712664 -7200
# Node ID d7cfcb9b5c7c1f651af6976a4cb72859beb8f5c8
# Parent  a8f9e12d815e4ff1a5510066df93325567580d27
ISABELLE_USEDIR_OPTIONS: less ambitious -M1 by default -- multithreading is largely untested on fringe platforms (cygwin, solaris);

diff -r a8f9e12d815e -r d7cfcb9b5c7c etc/settings
--- 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=""