changeset 32077 | 11f8ee55662d |
parent 31923 | d6cd15601d8a |
child 32292 | ceb7190d7a52 |
1.1 --- a/etc/settings Sun Jul 19 19:20:17 2009 +0200 1.2 +++ b/etc/settings Sun Jul 19 19:24:04 2009 +0200 1.3 @@ -96,7 +96,7 @@ 1.4 1.5 # Specifically for the HOL image 1.6 HOL_USEDIR_OPTIONS="" 1.7 -#HOL_USEDIR_OPTIONS="-p 2 -Q false" 1.8 +#HOL_USEDIR_OPTIONS="-p 2 -q 1" 1.9 1.10 #Source file identification (default: full name + date stamp) 1.11 ISABELLE_FILE_IDENT=""