etc/settings

--- a/etc/settings	Wed Dec 04 13:06:30 1996 +0100
+++ b/etc/settings	Wed Dec 04 13:08:40 1996 +0100
@@ -1,8 +1,8 @@
-#
-# Isabelle settings -- site defaults.
 #
 # $Id$
 #
+# Isabelle settings -- site defaults.
+
 
 ## user isabelle directory
 
@@ -35,6 +35,7 @@
 #ISABELLE_INTERFACE=emacs
 #ISABELLE_INTERFACE_OPTIONS=""
 #ISABELLE_SYMBOLS=true
+#ISAMODE_HOME=$ISABELLE_HOME/lib/Isamode
 
 
 ## ML compilers and options