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.
added ISABELLE, ISATOOL;
authorwenzelm
Tue, 07 Jan 1997 09:06:01 +0100
changeset 2478 adbd622bb375
parent 2477 ff44d0e1953a
child 2479 57109c1a653d
added ISABELLE, ISATOOL;
lib/scripts/getsettings file | annotate | diff | comparison | revisions 
--- a/lib/scripts/getsettings	Tue Jan 07 09:05:26 1997 +0100
+++ b/lib/scripts/getsettings	Tue Jan 07 09:06:01 1997 +0100
@@ -12,4 +12,7 @@
 . $ISABELLE_HOME/etc/settings || exit 2
 [ -f $ISABELLE_HOME_USER/etc/settings ] && . $ISABELLE_HOME_USER/etc/settings
 
+ISABELLE=$ISABELLE_HOME/bin/isabelle
+ISATOOL=$ISABELLE_HOME/bin/isatool
+
 set +o allexport
isabelle