1.1 --- a/etc/settings Sat Jun 05 13:06:39 2004 +0200
1.2 +++ b/etc/settings Sat Jun 05 13:06:49 2004 +0200
1.3 @@ -51,24 +51,12 @@
1.4 #ML_OPTIONS="@SMLdebug=/dev/null"
1.5 #ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
1.6
1.7 -# MLWorks 2.0
1.8 -#ML_SYSTEM=mlworks
1.9 -#ML_HOME="$ISABELLE_HOME/../mlworks/bin"
1.10 -#ML_OPTIONS=""
1.11 -#ML_PLATFORM=""
1.12 -
1.13 # Moscow ML 2.00 or later (experimental!)
1.14 #ML_SYSTEM=mosml
1.15 #ML_HOME="$ISABELLE_HOME/../mosml/bin"
1.16 #ML_PLATFORM=""
1.17 #ML_OPTIONS=""
1.18
1.19 -# Standard ML of New Jersey 0.93
1.20 -#ML_SYSTEM=smlnj-0.93
1.21 -#ML_HOME=/usr/local/ldist/DIR/sml-0.93/src
1.22 -#ML_OPTIONS=""
1.23 -#ML_PLATFORM=""
1.24 -
1.25
1.26 ###
1.27 ### Compilation options for isatool usedir