# HG changeset patch
# User wenzelm
# Date 850909594 -3600
# Node ID 750a73406623aa9ed84be4ec62acee8842ed0190
# Parent  d3d42a2e7da21f220882426f7780c397f0a20aa0
added ISABELLE_HTML;
fixed Poly/ML 2.x;

diff -r d3d42a2e7da2 -r 750a73406623 etc/settings
--- 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
 ###