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