# HG changeset patch
# User wenzelm
# Date 863603656 -7200
# Node ID 97d2d09e61fe09081d4bc3bcba4bb2bf4b558e94
# Parent  3c1448b9b0ee10800f96e1dbc1047a842f0defdf
tuned;

diff -r 3c1448b9b0ee -r 97d2d09e61fe etc/user-settings.sample
--- a/etc/user-settings.sample	Wed May 14 11:52:42 1997 +0200
+++ b/etc/user-settings.sample	Wed May 14 11:54:16 1997 +0200
@@ -34,4 +34,3 @@
 # GNU Emacs running Isamode.
 #ISABELLE_INTERFACE=emacs
 #ISABELLE_INTERFACE_OPTIONS=""
-#ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode