changeset 2435 | 750a73406623 |
parent 2426 | dc9dcdb43b4f |
child 2466 | 5220fb014f8a |
--- 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 ###