author | wenzelm |
Thu, 11 Dec 2008 21:31:42 +0100 | |
changeset 29070 | 1b8b46d90112 |
parent 29069 | c7ba485581ae |
child 29071 | 618216c658bb |
etc/settings | file | annotate | diff | comparison | revisions |
1.1 --- a/etc/settings Thu Dec 11 20:31:45 2008 +0100 1.2 +++ b/etc/settings Thu Dec 11 21:31:42 2008 +0100 1.3 @@ -97,7 +97,7 @@ 1.4 ### Batch sessions (cf. isabelle usedir) 1.5 ### 1.6 1.7 -ISABELLE_USEDIR_OPTIONS="-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 1.10 # Specifically for the HOL image 1.11 HOL_USEDIR_OPTIONS=""