# HG changeset patch
# User wenzelm
# Date 958580833 -7200
# Node ID 3a5215883047a1d378dc1f0246f79f2a08cdf948
# Parent  bf487b29a9a6e4844b85efff350714a6dedc2a73
Proof General -- if present make this the default;

diff -r bf487b29a9a6 -r 3a5215883047 etc/settings
--- a/etc/settings	Wed May 17 17:16:21 2000 +0200
+++ b/etc/settings	Wed May 17 18:27:13 2000 +0200
@@ -135,8 +135,10 @@
 ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode
 ISAMODE_OPTIONS=""
 
-# Emacs running Proof General.
-#ISABELLE_INTERFACE=$ISABELLE_HOME/contrib/ProofGeneral/isar/interface
+# Proof General -- if present make this the default
+if [ -d "$ISABELLE_HOME/contrib/ProofGeneral" ]; then
+  ISABELLE_INTERFACE=$ISABELLE_HOME/contrib/ProofGeneral/isar/interface
+fi
 PROOFGENERAL_OPTIONS=""