etc/user-settings.sample

--- a/etc/user-settings.sample	Wed Dec 18 12:46:34 1996 +0100
+++ b/etc/user-settings.sample	Wed Dec 18 12:46:59 1996 +0100
@@ -1,10 +1,17 @@
 #
 # $Id$
 #
-# Isabelle user settings sample -- to be copied to ~/isabelle/etc/settings.
+# Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings.
 #
 
 ###
+### Compilation options
+###
+
+#ISABELLE_HTML=false
+
+
+###
 ### Heap files
 ###