--- a/etc/settings Fri Jan 25 14:54:49 2008 +0100
+++ b/etc/settings Fri Jan 25 22:03:29 2008 +0100
@@ -208,10 +208,7 @@
"$ISABELLE_INTERFACE")
PROOFGENERAL_OPTIONS=""
-#PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true -p xemacs"
-
-type -path xemacs >/dev/null || \
- PROOFGENERAL_OPTIONS="-p emacs $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"