diff -r bd33e7aae062 -r 9d31c472d0b0 etc/user-settings.sample
--- a/etc/user-settings.sample	Fri Apr 11 17:30:15 1997 +0200
+++ b/etc/user-settings.sample	Sat Apr 12 19:59:44 1997 +0200
@@ -8,7 +8,7 @@
 ### Compilation options
 ###
 
-#ISABELLE_HTML=false
+#ISABELLE_USEDIR_OPTIONS="-h true -g true"
 
 
 ###
@@ -19,8 +19,6 @@
 #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
 
 #DEFAULT_LOGIC=ZF
-#DEFAULT_LOGIC=HOL
-#DEFAULT_LOGIC=HOLCF
 
 
 ###