diff -r b2869ebcf8e3 -r 5440452371e9 etc/settings
--- a/etc/settings	Tue Sep 16 17:16:25 2008 +0200
+++ b/etc/settings	Tue Sep 16 17:16:27 2008 +0200
@@ -193,7 +193,6 @@
 # Fallback: the null interface (pass-through to raw isabelle process).
 ISABELLE_INTERFACE=none
 
-# Proof General path, look in a variety of places
 ISABELLE_INTERFACE=$(choosefrom \
   "$ISABELLE_HOME/contrib/ProofGeneral/isar/interface" \
   "$ISABELLE_HOME/../ProofGeneral/isar/interface" \
@@ -203,12 +202,21 @@
   "/usr/share/emacs/ProofGeneral/isar/interface" \
   "$ISABELLE_INTERFACE")
 
+# Proof General home, look in a variety of places
+PROOFGENERAL_HOME=$(choosefrom \
+  "$ISABELLE_HOME/contrib/ProofGeneral" \
+  "$ISABELLE_HOME/../ProofGeneral" \
+  "/usr/local/ProofGeneral" \
+  "/usr/share/ProofGeneral" \
+  "/opt/ProofGeneral" \
+  "")
+
 PROOFGENERAL_OPTIONS=""
 #PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true -p emacs22"
 
 # Automatic setup of remote fonts
 #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"
-
+XSYMBOL_INSTALLFONTS=""
 
 ###
 ### External reasoning tools