diff -r 32a165db45ea -r 3eb21fb8c2ec etc/settings
--- a/etc/settings	Wed Sep 14 22:04:33 2005 +0200
+++ b/etc/settings	Wed Sep 14 22:04:34 2005 +0200
@@ -155,12 +155,9 @@
   "$ISABELLE_INTERFACE")
 
 PROOFGENERAL_OPTIONS=""
-#PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true"
+#PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true -p xemacs"
 
-type -path xemacs >/dev/null || \
-  PROOFGENERAL_OPTIONS="-p emacs $PROOFGENERAL_OPTIONS"
-
-# Executed before xemacs with ProofGeneral is called; required for remote fonts.
+# Automatic setup of remote fonts
 #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"