# HG changeset patch
# User wenzelm
# Date 849701320 -3600
# Node ID 390c1b6baaa5763673574ba18c9dd5a0c3966a84
# Parent  641be5ad47af73846cabf6f77636da25601facfe
added ISAMODE_HOME;

diff -r 641be5ad47af -r 390c1b6baaa5 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