changeset 32292 | ceb7190d7a52 |
parent 32077 | 11f8ee55662d |
child 32305 | c5523ded51d9 |
1.1 --- a/etc/settings Thu Jul 30 23:09:29 2009 +0200 1.2 +++ b/etc/settings Thu Jul 30 23:23:52 2009 +0200 1.3 @@ -92,7 +92,7 @@ 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 max -p 1 -q 2 -v true -V outline=/proof,/ML" 1.9 1.10 # Specifically for the HOL image 1.11 HOL_USEDIR_OPTIONS=""