Admin/README.repos
changeset 14585 6cf696e5ef7f
parent 14584 76b81ae4031f
child 27461 c2bba6a4d750
     1.1 --- a/Admin/README.repos	Fri Apr 16 10:21:06 2004 +0200
     1.2 +++ b/Admin/README.repos	Fri Apr 16 10:23:47 2004 +0200
     1.3 @@ -19,10 +19,13 @@
     1.4  
     1.5  This tells the Isabelle binaries where to find the theories.
     1.6  
     1.7 -In $ISABELLE/Distribution/ install PolyML and ProofGeneral. If you
     1.8 -have already installed them elsewhere, it is sufficient to create a
     1.9 -symbolic link in contrib to the main PolyML and ProofGeneral
    1.10 -directories. The links should be called 'polyml' and 'ProofGeneral'.
    1.11 +In $ISABELLE/Distribution/contrib install PolyML and
    1.12 +ProofGeneral. Download the corresponding packages from
    1.13 +http://isabelle.in.tum.de/dist/ and unpack them in
    1.14 +$ISABELLE/Distribution/contrib.  If you have already installed them
    1.15 +elsewhere, it is sufficient to create a symbolic link in contrib to
    1.16 +the main PolyML and ProofGeneral directories. The links should be
    1.17 +called 'polyml' and 'ProofGeneral'.
    1.18  
    1.19  Before you can build logic images it is necessary to initialise
    1.20  generation of browser info.  Change to the directory