removed ISAMODE settings;
authorwenzelm
Tue May 17 18:10:35 2005 +0200 (2005-05-17)
changeset 159829d7f3db40b88
parent 15981 38db39971a5a
child 15983 a53abeedc879
removed ISAMODE settings;
etc/settings
     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" \