Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/README.repos
changeset 28504 7ad7d7d6df47
parent 27630 5580fcca2b5d 
--- a/Admin/README.repos	Sat Oct 04 16:19:49 2008 +0200
+++ b/Admin/README.repos	Sat Oct 04 17:40:56 2008 +0200
@@ -11,7 +11,7 @@
 To work directly on a working copy of the repository, do the following:
 
 Change directory to "$ISABELLE/Distribution/bin" and execute:
-   ./isatool install -p ~/bin
+   ./isabelle install -p ~/bin
 
 This will install Isabelle executables in ~/bin.  Then issue in
 directory "$ISABELLE/Distribution"
@@ -33,7 +33,7 @@
 job.
 
 Now you can build images by going to corresponding folders and issuing:
-   isatool make
+   isabelle make
 
 (for instance, in "$ISABELLE/HOL" in order to make HOL).  This
 will create the directory "~/isabelle" (if not already present).
isabelle