1.1 --- a/etc/settings Wed Nov 25 14:04:28 1998 +0100
1.2 +++ b/etc/settings Wed Nov 25 14:06:13 1998 +0100
1.3 @@ -2,7 +2,7 @@
1.4 # $Id$
1.5 #
1.6 # Isabelle settings -- site defaults.
1.7 -#
1.8 +# Do *NOT* copy this file into your personal isabelle directory!
1.9
1.10 ###
1.11 ### ML compiler settings (ESSENTIAL!)
1.12 @@ -98,21 +98,23 @@
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 -# Global options.
1.22 -ISABELLE_INTERFACE_OPTIONS=""
1.23 -
1.24 -
1.25 # The null interface: pass-through to 'isabelle'.
1.26 #ISABELLE_INTERFACE=none
1.27
1.28 # Simple xterm based interface.
1.29 ISABELLE_INTERFACE=xterm
1.30 +ISABELLE_XTERM_OPTIONS=""
1.31
1.32 # Emacs running Isamode.
1.33 #ISABELLE_INTERFACE=emacs
1.34 ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode
1.35 -ISAMODE_EMACS="xemacs -q"
1.36 +ISAMODE_OPTIONS=""
1.37 +
1.38 +# Emacs running Proof General.
1.39 +#ISABELLE_INTERFACE=$ISABELLE_HOME/contrib/ProofGeneral/isar/interface
1.40 +PROOFGENERAL_OPTIONS=""