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.
adapted isatool install;
authorwenzelm
Tue, 13 Apr 1999 12:35:28 +0200
changeset 6416 1452905753ab
parent 6415 9d2123268db6
child 6417 39941b906910
adapted isatool install;
INSTALL file | annotate | diff | comparison | revisions 
--- a/INSTALL	Tue Apr 13 12:35:11 1999 +0200
+++ b/INSTALL	Tue Apr 13 12:35:28 1999 +0200
@@ -60,7 +60,7 @@
 they just won't work!  If you really feel the urge to install
 independent Isabelle binaries anywhere else do it like this:
 
-  [ISABELLE_HOME]/bin/isatool install /usr/local/bin
+  [ISABELLE_HOME]/bin/isatool install -p /usr/local/bin
isabelle