removed mlworks and smlnj-0.93 (obsolete);
authorwenzelm
Sat Jun 05 13:06:49 2004 +0200 (2004-06-05)
changeset 148711dad51c852ad
parent 14870 c5cf7c001313
child 14872 3f2144aebd76
removed mlworks and smlnj-0.93 (obsolete);
etc/settings
     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