author | wenzelm |
Sat, 04 Nov 2006 19:25:38 +0100 | |
changeset 21171 | 7b4fb2a2c75e |
parent 21170 | 01ef0dbd51ae |
child 21172 | eea3c9048c7a |
etc/settings | file | annotate | diff | comparison | revisions |
1.1 --- a/etc/settings Sat Nov 04 19:25:36 2006 +0100 1.2 +++ b/etc/settings Sat Nov 04 19:25:38 2006 +0100 1.3 @@ -70,7 +70,7 @@ 1.4 ISABELLE_USEDIR_OPTIONS="-v true -V outline=/proof,/ML" 1.5 1.6 # Specifically for the HOL image 1.7 -HOL_USEDIR_OPTIONS="" 1.8 +HOL_USEDIR_OPTIONS="-p 1" 1.9 1.10 1.11 ###