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.
fixed ISAMODE_HOME;
authorwenzelm
Thu, 17 Apr 1997 10:40:26 +0200
changeset 2969 4c8d60b01ef9
parent 2968 8ba30b031f31
child 2970 4ed0b27e482d
fixed ISAMODE_HOME;
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Thu Apr 17 10:30:57 1997 +0200
+++ b/etc/settings	Thu Apr 17 10:40:26 1997 +0200
@@ -98,4 +98,4 @@
 # GNU Emacs running Isamode.
 #ISABELLE_INTERFACE=emacs
 #ISABELLE_INTERFACE_OPTIONS=""
-#ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode
+ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode
isabelle