changeset 14253 | 91a64a93bdb4 |
parent 14252 | 650d9a02add9 |
child 14344 | 0f0a2148a099 |
1.1 --- a/etc/settings Fri Oct 31 06:52:43 2003 +0100 1.2 +++ b/etc/settings Fri Oct 31 06:54:22 2003 +0100 1.3 @@ -66,7 +66,7 @@ 1.4 ### (as on command line) 1.5 ### 1.6 1.7 -ISABELLE_USEDIR_OPTIONS="-v" 1.8 +ISABELLE_USEDIR_OPTIONS="-v true" 1.9 1.10 # for overriding proof objects in HOL image 1.11 HOL_PROOF_OBJECTS=""