1.1 --- a/etc/settings Tue Oct 11 13:28:08 2005 +0200
1.2 +++ b/etc/settings Tue Oct 11 13:30:17 2005 +0200
1.3 @@ -40,15 +40,15 @@
1.4 # Moscow ML 2.00 or later (experimental!)
1.5 #ML_SYSTEM=mosml
1.6 #ML_HOME="$ISABELLE_HOME/contrib/mosml/bin"
1.7 +#ML_OPTIONS=""
1.8 #ML_PLATFORM=""
1.9 -#ML_OPTIONS=""
1.10
1.11 # Poplog/PML version 15.6/2.1 (experimental!)
1.12 #ML_SYSTEM=poplogml
1.13 -#ML_HOME="$ISABELLE_HOME/contrib/poplog/current-poplog/bin"
1.14 -#ML_PLATFORM=""
1.15 +#ML_HOME="/usr/local/poplog/current-poplog/bin"
1.16 #ML_OPTIONS="-noinit"
1.17 #ML_SUFFIX=".psv"
1.18 +#ML_PLATFORM=""
1.19
1.20
1.21 ###