# HG changeset patch
# User wenzelm
# Date 962665836 -7200
# Node ID 899b83e8d2e186c999818c8019e0cdea40d2b8fd
# Parent  1f734dc2e526429e0f27ba2b1dadaff5bafd851c
tuned comments;
even smarter guessing of ProofGeneral location;

diff -r 1f734dc2e526 -r 899b83e8d2e1 etc/settings
--- 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=""