changeset 29070 | 1b8b46d90112 |
parent 28995 | d59b8124f1f5 |
child 29145 | b1c6f4563df7 |
--- 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=""