diff -r c7ba485581ae -r 1b8b46d90112 etc/settings
--- a/etc/settings	Thu Dec 11 20:31:45 2008 +0100
+++ b/etc/settings	Thu Dec 11 21:31:42 2008 +0100
@@ -97,7 +97,7 @@
 ### Batch sessions (cf. isabelle usedir)
 ###
 
-ISABELLE_USEDIR_OPTIONS="-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=""