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" \