PROOFGENERAL_OPTIONS: smart fall-back on plain emacs (back again);

--- 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"