# HG changeset patch
# User wenzelm
# Date 850909619 -3600
# Node ID 5be639c601b22695c22d5f914a45522cf39f43d6
# Parent  750a73406623aa9ed84be4ec62acee8842ed0190
added ISABELLE_HTML;

diff -r 750a73406623 -r 5be639c601b2 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
 ###