--- a/etc/settings Mon Jul 03 11:13:08 2000 +0200
+++ b/etc/settings Tue Jul 04 01:10:36 2000 +0200
@@ -8,8 +8,11 @@
### ML compiler settings (ESSENTIAL!)
###
-## Uncomment and adapt one of the sections below. Note that ML_HOME
-## specifies the location of the actual compiler binaries.
+## Uncomment and adapt one of the sections below.
+
+# Note that ML_HOME specifies the location of the actual compiler
+# binaries. Do not invent new ML system names unless you know what
+# you are doing.
# Poly/ML 3.x
POLYML_HOME=$ISABELLE_HOME/../polyml
@@ -139,9 +142,11 @@
ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode
ISAMODE_OPTIONS=""
-# Proof General -- if present make this the default
+# Proof General -- make default if found in canonical place
if [ -d "$ISABELLE_HOME/contrib/ProofGeneral" ]; then
- ISABELLE_INTERFACE=$ISABELLE_HOME/contrib/ProofGeneral/isar/interface
+ ISABELLE_INTERFACE="$ISABELLE_HOME/contrib/ProofGeneral/isar/interface"
+elif [ -d "$ISABELLE_HOME/../ProofGeneral" ]; then
+ ISABELLE_INTERFACE="$ISABELLE_HOME/../ProofGeneral/isar/interface"
fi
PROOFGENERAL_OPTIONS=""