equal
deleted
inserted
replaced
78 ### Batch sessions (cf. isabelle usedir) |
78 ### Batch sessions (cf. isabelle usedir) |
79 ### |
79 ### |
80 |
80 |
81 ISABELLE_USEDIR_OPTIONS="-M max -p 1 -q 2 -v true -V outline=/proof,/ML" |
81 ISABELLE_USEDIR_OPTIONS="-M max -p 1 -q 2 -v true -V outline=/proof,/ML" |
82 |
82 |
83 #Source file identification (default: full name + date stamp) |
|
84 ISABELLE_FILE_IDENT="" |
|
85 #ISABELLE_FILE_IDENT="md5" |
|
86 #ISABELLE_FILE_IDENT="md5sum" |
|
87 #ISABELLE_FILE_IDENT="sha1sum" |
|
88 #ISABELLE_FILE_IDENT="openssl dgst -sha1" |
|
89 |
|
90 |
83 |
91 ### |
84 ### |
92 ### Document preparation (cf. isabelle latex/document) |
85 ### Document preparation (cf. isabelle latex/document) |
93 ### |
86 ### |
94 |
87 |