1.1 --- a/Admin/README.repos	Sat Oct 04 16:19:49 2008 +0200
     1.2 +++ b/Admin/README.repos	Sat Oct 04 17:40:56 2008 +0200
     1.3 @@ -11,7 +11,7 @@
     1.4  To work directly on a working copy of the repository, do the following:
     1.5  
     1.6  Change directory to "$ISABELLE/Distribution/bin" and execute:
     1.7 -   ./isatool install -p ~/bin
     1.8 +   ./isabelle install -p ~/bin
     1.9  
    1.10  This will install Isabelle executables in ~/bin.  Then issue in
    1.11  directory "$ISABELLE/Distribution"
    1.12 @@ -33,7 +33,7 @@
    1.13  job.
    1.14  
    1.15  Now you can build images by going to corresponding folders and issuing:
    1.16 -   isatool make
    1.17 +   isabelle make
    1.18  
    1.19  (for instance, in "$ISABELLE/HOL" in order to make HOL).  This
    1.20  will create the directory "~/isabelle" (if not already present).