diff -r fb94df4505a0 -r 703ea96b13c6 etc/settings
--- a/etc/settings	Sun Mar 13 20:21:24 2011 +0100
+++ b/etc/settings	Sun Mar 13 20:56:00 2011 +0100
@@ -80,13 +80,6 @@
 
 ISABELLE_USEDIR_OPTIONS="-M max -p 1 -q 2 -v true -V outline=/proof,/ML"
 
-#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. isabelle latex/document)