# HG changeset patch
# User wenzelm
# Date 1127327205 -7200
# Node ID aa9d8483cabce37e73964d60e05f778f24d9528b
# Parent  4de614cc6509608707ec268136a04f31eb910440
PROOFGENERAL_OPTIONS: smart fall-back on plain emacs (back again);

diff -r 4de614cc6509 -r aa9d8483cabc etc/settings
--- 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"