changeset 34238 | b28be884edda |
parent 33937 | 4c188a74e362 |
child 35017 | 603d976d8cab |
1.1 --- a/etc/settings Sun Jan 03 15:09:02 2010 +0100 1.2 +++ b/etc/settings Mon Jan 04 11:55:23 2010 +0100 1.3 @@ -89,10 +89,6 @@ 1.4 1.5 ISABELLE_USEDIR_OPTIONS="-M max -p 1 -q 2 -v true -V outline=/proof,/ML" 1.6 1.7 -# Specifically for the HOL image 1.8 -HOL_USEDIR_OPTIONS="" 1.9 -#HOL_USEDIR_OPTIONS="-p 2 -q 1" 1.10 - 1.11 #Source file identification (default: full name + date stamp) 1.12 ISABELLE_FILE_IDENT="" 1.13 #ISABELLE_FILE_IDENT="md5"