removed obsolete CVS instructions;
authorwenzelm
Sun Nov 30 16:00:16 2008 +0100 (2008-11-30)
changeset 2891988b8cc1a2983
parent 28918 eda3d9976ec7
child 28920 4ed4b8b1988d
removed obsolete CVS instructions;
Admin/README.repos
     1.1 --- a/Admin/README.repos	Sun Nov 30 15:03:47 2008 +0100
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,55 +0,0 @@
     1.4 -How to install a CVS repository version of Isabelle.
     1.5 -
     1.6 -The following assumes that you have successfully checked out Isabelle
     1.7 -from CVS into a directory $ISABELLE (by default 'isabelle')
     1.8 -
     1.9 -The directory structure of the CVS is different from the
    1.10 -distribution. The root directory $ISABELLE is the src
    1.11 -subdirectory in the distribution. The 'normal' distribution
    1.12 -directories are found in $ISABELLE/Distribution.
    1.13 -
    1.14 -To work directly on a working copy of the repository, do the following:
    1.15 -
    1.16 -Change directory to "$ISABELLE/Distribution/bin" and execute:
    1.17 -   ./isabelle install -p ~/bin
    1.18 -
    1.19 -This will install Isabelle executables in ~/bin.  Then issue in
    1.20 -directory "$ISABELLE/Distribution"
    1.21 -   ln -s .. src
    1.22 -
    1.23 -This tells the Isabelle binaries where to find the theories.
    1.24 -
    1.25 -In $ISABELLE/Distribution/contrib install Poly/ML and
    1.26 -Proof General. Download the corresponding packages from
    1.27 -http://isabelle.in.tum.de/dist/ and unpack them in
    1.28 -$ISABELLE/Distribution/contrib.  If you have already installed them
    1.29 -elsewhere, it is sufficient to create a symbolic link in contrib to
    1.30 -the main Poly/ML and ProofGeneral directories. The links should be
    1.31 -called 'polyml' and 'ProofGeneral'.
    1.32 -
    1.33 -Building logic images with browser info generation (which is the
    1.34 -default setting) requires a compiled version of the browser JVM
    1.35 -application.  Invoking ``$ISABELLE/Admin/build browser'' will do the
    1.36 -job.
    1.37 -
    1.38 -Now you can build images by going to corresponding folders and issuing:
    1.39 -   isabelle make
    1.40 -
    1.41 -(for instance, in "$ISABELLE/HOL" in order to make HOL).  This
    1.42 -will create the directory "~/isabelle" (if not already present).
    1.43 -
    1.44 -After setting up the local copy of Isabelle, changes in the repository
    1.45 -can be imported by:
    1.46 -   cvs update -d -P
    1.47 -
    1.48 -(-d causes cvs to create directories that have appeared in the
    1.49 -repository since the last update, -P causes directories that have been
    1.50 -removed from the repository to be pruned).
    1.51 -
    1.52 -Default Isabelle settings:
    1.53 -
    1.54 -  $ISABELLE_HOME is the directory "isabelle/Distribution" from above.
    1.55 -  $ISABELLE_HOME_USER is the directory "~/isabelle".
    1.56 -
    1.57 -
    1.58 -$Id$