# HG changeset patch
# User wenzelm
# Date 1126728274 -7200
# Node ID 3eb21fb8c2ec42ad7b359a252a55035ea6d0c94d
# Parent  32a165db45ea920ab5c0e6402a2fcdef9f8f225b
no longer prefer xemacs, which fails more often than GNU emacs;

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"