changeset 30813 | a0863fcd9bbf |
parent 30275 | 381ce8d88cb8 |
child 30889 | d7cfcb9b5c7c |
1.1 --- a/etc/settings Tue Mar 31 11:11:36 2009 +0200 1.2 +++ b/etc/settings Tue Mar 31 12:07:17 2009 +0200 1.3 @@ -94,7 +94,7 @@ 1.4 1.5 # Specifically for the HOL image 1.6 HOL_USEDIR_OPTIONS="" 1.7 -#HOL_USEDIR_OPTIONS="-p 2" 1.8 +#HOL_USEDIR_OPTIONS="-p 2 -Q false" 1.9 1.10 #Source file identification (default: full name + date stamp) 1.11 ISABELLE_FILE_IDENT=""