equal
deleted
inserted
replaced
94 |
94 |
95 ISABELLE_USEDIR_OPTIONS="-M max -p 1 -v true -V outline=/proof,/ML" |
95 ISABELLE_USEDIR_OPTIONS="-M max -p 1 -v true -V outline=/proof,/ML" |
96 |
96 |
97 # Specifically for the HOL image |
97 # Specifically for the HOL image |
98 HOL_USEDIR_OPTIONS="" |
98 HOL_USEDIR_OPTIONS="" |
99 #HOL_USEDIR_OPTIONS="-p 2 -Q false" |
99 #HOL_USEDIR_OPTIONS="-p 2 -q 1" |
100 |
100 |
101 #Source file identification (default: full name + date stamp) |
101 #Source file identification (default: full name + date stamp) |
102 ISABELLE_FILE_IDENT="" |
102 ISABELLE_FILE_IDENT="" |
103 #ISABELLE_FILE_IDENT="md5" |
103 #ISABELLE_FILE_IDENT="md5" |
104 #ISABELLE_FILE_IDENT="md5sum" |
104 #ISABELLE_FILE_IDENT="md5sum" |