1.1 --- a/etc/settings Tue May 17 18:10:34 2005 +0200
1.2 +++ b/etc/settings Tue May 17 18:10:35 2005 +0200
1.3 @@ -175,11 +175,6 @@
1.4 # Fallback: the null interface (pass-through to raw isabelle process).
1.5 ISABELLE_INTERFACE=none
1.6
1.7 -# Emacs running (obsolete) Isamode.
1.8 -#ISABELLE_INTERFACE=emacs
1.9 -ISAMODE_HOME="$ISABELLE_HOME/contrib/Isamode"
1.10 -ISAMODE_OPTIONS=""
1.11 -
1.12 # Proof General path, look in a variety of places
1.13 ISABELLE_INTERFACE=$(choosefrom\
1.14 "$ISABELLE_HOME/contrib/ProofGeneral/isar/interface" \