changeset 23837 | 55b89b14d871 |
parent 23138 | 6852373aae8a |
child 23917 | 8be45ac3bb7b |
--- a/etc/settings Tue Jul 17 22:48:40 2007 +0200 +++ b/etc/settings Tue Jul 17 22:51:13 2007 +0200 @@ -79,6 +79,13 @@ HOL_USEDIR_OPTIONS="" #HOL_USEDIR_OPTIONS="-p 2" +#Source file identification (default: full name + date stamp) +ISABELLE_FILE_IDENT="" +#ISABELLE_FILE_IDENT="md5" +#ISABELLE_FILE_IDENT="md5sum" +#ISABELLE_FILE_IDENT="sha1sum" +#ISABELLE_FILE_IDENT="openssl dgst -sha1" + ### ### Document preparation (cf. isatool latex/document)