# HG changeset patch
# User wenzelm
# Date 911999173 -3600
# Node ID a825c5929f4f52f775a5793a7a594030cca407c4
# Parent  94709c11601e3f3b74a499e9a942a14cc351f298
improved comment;
removed ISABELLE_INTERFACE_OPTIONS;
added ProofGeneral;

diff -r 94709c11601e -r a825c5929f4f etc/settings
--- 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=""