equal
deleted
inserted
replaced
74 ### |
74 ### |
75 |
75 |
76 ISABELLE_USEDIR_OPTIONS="-p 1 -v true -V outline=/proof,/ML" |
76 ISABELLE_USEDIR_OPTIONS="-p 1 -v true -V outline=/proof,/ML" |
77 |
77 |
78 # Specifically for the HOL image |
78 # Specifically for the HOL image |
79 HOL_USEDIR_OPTIONS="-M 1" |
79 HOL_USEDIR_OPTIONS="" |
80 #HOL_USEDIR_OPTIONS="-M 1 -p 2" |
80 #HOL_USEDIR_OPTIONS="-p 2" |
81 |
81 |
82 #Source file identification (default: full name + date stamp) |
82 #Source file identification (default: full name + date stamp) |
83 ISABELLE_FILE_IDENT="" |
83 ISABELLE_FILE_IDENT="" |
84 #ISABELLE_FILE_IDENT="md5" |
84 #ISABELLE_FILE_IDENT="md5" |
85 #ISABELLE_FILE_IDENT="md5sum" |
85 #ISABELLE_FILE_IDENT="md5sum" |