added ISABELLE_HTML;
fixed Poly/ML 2.x;

--- a/etc/settings	Wed Dec 18 12:45:54 1996 +0100
+++ b/etc/settings	Wed Dec 18 12:46:34 1996 +0100
@@ -12,7 +12,7 @@
 ## specifies the location of the actual compiler binaries.
 
 # Poly/ML 2.x
-#ML_SYSTEM=polyml-2.x
+#ML_SYSTEM=polyml-2.07
 #ML_HOME=/usr/local/ldist/DIR/polyml/polyml/solaris2
 #ML_OPTIONS="-h 30000"
 
@@ -39,6 +39,14 @@
 
 
 ###
+### Compilation options
+###
+
+# Should be 'true' or 'false':
+ISABELLE_HTML=true
+
+
+###
 ### Misc path settings
 ###