etc/settings

--- 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)