PROOFGENERAL_OPTIONS: smart fall-back on plain emacs (back again);
authorwenzelm
Wed Sep 21 20:26:45 2005 +0200 (2005-09-21)
changeset 17574aa9d8483cabc
parent 17573 4de614cc6509
child 17575 c45677c1aea0
PROOFGENERAL_OPTIONS: smart fall-back on plain emacs (back again);
etc/settings
     1.1 --- a/etc/settings	Wed Sep 21 20:16:35 2005 +0200
     1.2 +++ b/etc/settings	Wed Sep 21 20:26:45 2005 +0200
     1.3 @@ -145,7 +145,7 @@
     1.4  ISABELLE_INTERFACE=none
     1.5  
     1.6  # Proof General path, look in a variety of places
     1.7 -ISABELLE_INTERFACE=$(choosefrom\
     1.8 +ISABELLE_INTERFACE=$(choosefrom \
     1.9    "$ISABELLE_HOME/contrib/ProofGeneral/isar/interface" \
    1.10    "$ISABELLE_HOME/../ProofGeneral/isar/interface" \
    1.11    "/usr/local/ProofGeneral/isar/interface" \
    1.12 @@ -157,6 +157,9 @@
    1.13  PROOFGENERAL_OPTIONS=""
    1.14  #PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true -p xemacs"
    1.15  
    1.16 +type -path xemacs >/dev/null || \
    1.17 +  PROOFGENERAL_OPTIONS="-p emacs $PROOFGENERAL_OPTIONS"
    1.18 +
    1.19  # Automatic setup of remote fonts
    1.20  #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"
    1.21