--- a/etc/settings Wed Nov 25 14:04:28 1998 +0100
+++ b/etc/settings Wed Nov 25 14:06:13 1998 +0100
@@ -2,7 +2,7 @@
# $Id$
#
# Isabelle settings -- site defaults.
-#
+# Do *NOT* copy this file into your personal isabelle directory!
###
### ML compiler settings (ESSENTIAL!)
@@ -98,21 +98,23 @@
#ISABELLE_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"
#ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100"
+
###
### Interfaces
###
-# Global options.
-ISABELLE_INTERFACE_OPTIONS=""
-
-
# The null interface: pass-through to 'isabelle'.
#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
-ISAMODE_EMACS="xemacs -q"
+ISAMODE_OPTIONS=""
+
+# Emacs running Proof General.
+#ISABELLE_INTERFACE=$ISABELLE_HOME/contrib/ProofGeneral/isar/interface
+PROOFGENERAL_OPTIONS=""