Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed ISAMODE settings;
authorwenzelm
Tue, 17 May 2005 18:10:35 +0200
changeset 15982 9d7f3db40b88
parent 15981 38db39971a5a
child 15983 a53abeedc879
removed ISAMODE settings;
etc/settings file | annotate | diff | comparison | revisions 
--- 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" \
isabelle