changeset 30889 | d7cfcb9b5c7c |
parent 30813 | a0863fcd9bbf |
child 31308 | 3fd52453ae81 |
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=""