# HG changeset patch
# User wenzelm
# Date 1116346235 -7200
# Node ID 9d7f3db40b886ac1c097101302d530055d652f5e
# Parent  38db39971a5ae469ef0b9fb836f8ee4e00fe4331
removed ISAMODE settings;

diff -r 38db39971a5a -r 9d7f3db40b88 etc/settings
--- a/etc/settings	Tue May 17 18:10:34 2005 +0200
+++ b/etc/settings	Tue May 17 18:10:35 2005 +0200
@@ -175,11 +175,6 @@
 # Fallback: the null interface (pass-through to raw isabelle process).
 ISABELLE_INTERFACE=none
 
-# Emacs running (obsolete) Isamode.
-#ISABELLE_INTERFACE=emacs
-ISAMODE_HOME="$ISABELLE_HOME/contrib/Isamode"
-ISAMODE_OPTIONS=""
-
 # Proof General path, look in a variety of places
 ISABELLE_INTERFACE=$(choosefrom\
   "$ISABELLE_HOME/contrib/ProofGeneral/isar/interface" \