1.1 --- a/etc/settings	Wed Dec 12 12:40:02 2001 +0100
     1.2 +++ b/etc/settings	Wed Dec 12 17:40:36 2001 +0100
     1.3 @@ -137,27 +137,13 @@
     1.4  #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
     1.5  
     1.6  
     1.7 -## Fonts -- how to install the Isabelle X11 fonts (can be tricky!).
     1.8 -
     1.9 -# (1) Get fonts from local (client side) directory:
    1.10 -ISABELLE_INSTALLFONTS="xset fp+ \"$ISABELLE_HOME/lib/fonts\"; xset fp rehash"
    1.11 -
    1.12 -# (2) Get from font server at Munich or Cambridge:
    1.13 -#ISABELLE_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"
    1.14 -#ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100"
    1.15 -
    1.16 -
    1.17  ###
    1.18  ### Interfaces
    1.19  ###
    1.20  
    1.21 -# The null interface: pass-through to 'isabelle'.
    1.22 +# The null interface: pass-through to raw isabelle process.
    1.23  ISABELLE_INTERFACE=none
    1.24  
    1.25 -# Simple xterm based interface.
    1.26 -#ISABELLE_INTERFACE=xterm
    1.27 -ISABELLE_XTERM_OPTIONS=""
    1.28 -
    1.29  # Emacs running Isamode.
    1.30  #ISABELLE_INTERFACE=emacs
    1.31  ISAMODE_HOME="$ISABELLE_HOME/contrib/Isamode"
    1.32 @@ -175,6 +161,9 @@
    1.33  PROOFGENERAL_OPTIONS=""
    1.34  #PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true"
    1.35  
    1.36 +type -path xemacs >/dev/null || PROOFGENERAL_OPTIONS="-p emacs $PROOFGENERAL_OPTIONS"
    1.37 +
    1.38 +
    1.39  # X-Symbol mode for Proof General
    1.40  XSYMBOL_HOME=$(choosefrom \
    1.41    "$ISABELLE_HOME/contrib/x-symbol" \