# HG changeset patch
# User wenzelm
# Date 1008175236 -3600
# Node ID eca43a50e4a47271724c5b4c0228ece70e2b5ba3
# Parent  18ba10cc782f5979289a6ba0858ddaff4752e33b
removed installfonts, xterm interface;
improved default of PROOFGENERAL_OPTIONS;

diff -r 18ba10cc782f -r eca43a50e4a4 etc/settings
--- a/etc/settings	Wed Dec 12 12:40:02 2001 +0100
+++ b/etc/settings	Wed Dec 12 17:40:36 2001 +0100
@@ -137,27 +137,13 @@
 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
 
 
-## Fonts -- how to install the Isabelle X11 fonts (can be tricky!).
-
-# (1) Get fonts from local (client side) directory:
-ISABELLE_INSTALLFONTS="xset fp+ \"$ISABELLE_HOME/lib/fonts\"; xset fp rehash"
-
-# (2) Get from font server at Munich or Cambridge:
-#ISABELLE_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"
-#ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100"
-
-
 ###
 ### Interfaces
 ###
 
-# The null interface: pass-through to 'isabelle'.
+# The null interface: pass-through to raw isabelle process.
 ISABELLE_INTERFACE=none
 
-# Simple xterm based interface.
-#ISABELLE_INTERFACE=xterm
-ISABELLE_XTERM_OPTIONS=""
-
 # Emacs running Isamode.
 #ISABELLE_INTERFACE=emacs
 ISAMODE_HOME="$ISABELLE_HOME/contrib/Isamode"
@@ -175,6 +161,9 @@
 PROOFGENERAL_OPTIONS=""
 #PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true"
 
+type -path xemacs >/dev/null || PROOFGENERAL_OPTIONS="-p emacs $PROOFGENERAL_OPTIONS"
+
+
 # X-Symbol mode for Proof General
 XSYMBOL_HOME=$(choosefrom \
   "$ISABELLE_HOME/contrib/x-symbol" \