1.1 --- a/etc/settings	Sun Jun 14 09:13:59 2009 +0200
     1.2 +++ b/etc/settings	Sun Jun 14 23:18:32 2009 +0200
     1.3 @@ -91,8 +91,7 @@
     1.4  ### Batch sessions (cf. isabelle usedir)
     1.5  ###
     1.6  
     1.7 -ISABELLE_USEDIR_OPTIONS="-M 1 -p 1 -v true -V outline=/proof,/ML"
     1.8 -#ISABELLE_USEDIR_OPTIONS="-M max -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=""