--- a/etc/settings Wed Sep 21 20:16:35 2005 +0200
+++ b/etc/settings Wed Sep 21 20:26:45 2005 +0200
@@ -145,7 +145,7 @@
ISABELLE_INTERFACE=none
# Proof General path, look in a variety of places
-ISABELLE_INTERFACE=$(choosefrom\
+ISABELLE_INTERFACE=$(choosefrom \
"$ISABELLE_HOME/contrib/ProofGeneral/isar/interface" \
"$ISABELLE_HOME/../ProofGeneral/isar/interface" \
"/usr/local/ProofGeneral/isar/interface" \
@@ -157,6 +157,9 @@
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"
+
# Automatic setup of remote fonts
#XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"