ISABELLE_USEDIR_OPTIONS: less ambitious -M1 by default -- multithreading is largely untested on fringe platforms (cygwin, solaris);
1.1 --- a/etc/settings Tue Apr 14 12:27:18 2009 +0200
1.2 +++ b/etc/settings Tue Apr 14 14:37:44 2009 +0200
1.3 @@ -90,7 +90,8 @@
1.4 ### Batch sessions (cf. isabelle usedir)
1.5 ###
1.6
1.7 -ISABELLE_USEDIR_OPTIONS="-M max -p 1 -v true -V outline=/proof,/ML"
1.8 +ISABELLE_USEDIR_OPTIONS="-M 1 -p 1 -v true -V outline=/proof,/ML"
1.9 +#ISABELLE_USEDIR_OPTIONS="-M max -p 1 -v true -V outline=/proof,/ML"
1.10
1.11 # Specifically for the HOL image
1.12 HOL_USEDIR_OPTIONS=""