author | wenzelm |
Tue, 31 Mar 2009 12:07:17 +0200 | |
changeset 30813 | a0863fcd9bbf |
parent 30812 | 7d02340f095d |
child 30815 | a489921b77f4 |
child 30816 | 10dc9bc264b7 |
etc/settings | file | annotate | diff | comparison | revisions |
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=""