Admin/README.repos
changeset 14585 6cf696e5ef7f
parent 14584 76b81ae4031f
child 27461 c2bba6a4d750
equal deleted inserted replaced
14584:76b81ae4031f 14585:6cf696e5ef7f
    17 directory "$ISABELLE/Distribution"
    17 directory "$ISABELLE/Distribution"
    18    ln -s .. src
    18    ln -s .. src
    19 
    19 
    20 This tells the Isabelle binaries where to find the theories.
    20 This tells the Isabelle binaries where to find the theories.
    21 
    21 
    22 In $ISABELLE/Distribution/ install PolyML and ProofGeneral. If you
    22 In $ISABELLE/Distribution/contrib install PolyML and
    23 have already installed them elsewhere, it is sufficient to create a
    23 ProofGeneral. Download the corresponding packages from
    24 symbolic link in contrib to the main PolyML and ProofGeneral
    24 http://isabelle.in.tum.de/dist/ and unpack them in
    25 directories. The links should be called 'polyml' and 'ProofGeneral'.
    25 $ISABELLE/Distribution/contrib.  If you have already installed them
       
    26 elsewhere, it is sufficient to create a symbolic link in contrib to
       
    27 the main PolyML and ProofGeneral directories. The links should be
       
    28 called 'polyml' and 'ProofGeneral'.
    26 
    29 
    27 Before you can build logic images it is necessary to initialise
    30 Before you can build logic images it is necessary to initialise
    28 generation of browser info.  Change to the directory
    31 generation of browser info.  Change to the directory
    29 "$ISABELLE/Distribution/lib/browser" and issue
    32 "$ISABELLE/Distribution/lib/browser" and issue
    30    make
    33    make