no longer prefer xemacs, which fails more often than GNU emacs;
authorwenzelm
Wed Sep 14 22:04:34 2005 +0200 (2005-09-14)
changeset 173833eb21fb8c2ec
parent 17382 32a165db45ea
child 17384 c01de5939f5b
no longer prefer xemacs, which fails more often than GNU emacs;
etc/settings
     1.1 --- a/etc/settings	Wed Sep 14 22:04:33 2005 +0200
     1.2 +++ b/etc/settings	Wed Sep 14 22:04:34 2005 +0200
     1.3 @@ -155,12 +155,9 @@
     1.4    "$ISABELLE_INTERFACE")
     1.5  
     1.6  PROOFGENERAL_OPTIONS=""
     1.7 -#PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true"
     1.8 +#PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true -p xemacs"
     1.9  
    1.10 -type -path xemacs >/dev/null || \
    1.11 -  PROOFGENERAL_OPTIONS="-p emacs $PROOFGENERAL_OPTIONS"
    1.12 -
    1.13 -# Executed before xemacs with ProofGeneral is called; required for remote fonts.
    1.14 +# Automatic setup of remote fonts
    1.15  #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"
    1.16  
    1.17