equal
deleted
inserted
replaced
87 ### Batch sessions (cf. isabelle usedir) |
87 ### Batch sessions (cf. isabelle usedir) |
88 ### |
88 ### |
89 |
89 |
90 ISABELLE_USEDIR_OPTIONS="-M max -p 1 -q 2 -v true -V outline=/proof,/ML" |
90 ISABELLE_USEDIR_OPTIONS="-M max -p 1 -q 2 -v true -V outline=/proof,/ML" |
91 |
91 |
92 # Specifically for the HOL image |
|
93 HOL_USEDIR_OPTIONS="" |
|
94 #HOL_USEDIR_OPTIONS="-p 2 -q 1" |
|
95 |
|
96 #Source file identification (default: full name + date stamp) |
92 #Source file identification (default: full name + date stamp) |
97 ISABELLE_FILE_IDENT="" |
93 ISABELLE_FILE_IDENT="" |
98 #ISABELLE_FILE_IDENT="md5" |
94 #ISABELLE_FILE_IDENT="md5" |
99 #ISABELLE_FILE_IDENT="md5sum" |
95 #ISABELLE_FILE_IDENT="md5sum" |
100 #ISABELLE_FILE_IDENT="sha1sum" |
96 #ISABELLE_FILE_IDENT="sha1sum" |