# HG changeset patch # User wenzelm # Date 1215083839 -7200 # Node ID c2bba6a4d750b31295fad1608de93a8faafcf1e2 # Parent 145fa899fa3c7990b245e5818ba91f012d3a1afc specific to CVS; some updates for Java etc.; diff -r 145fa899fa3c -r c2bba6a4d750 Admin/README.repos --- a/Admin/README.repos Thu Jul 03 13:04:30 2008 +0200 +++ b/Admin/README.repos Thu Jul 03 13:17:19 2008 +0200 @@ -1,9 +1,9 @@ -How to install a repository version of Isabelle. +How to install a CVS repository version of Isabelle. The following assumes that you have successfully checked out Isabelle from CVS into a directory $ISABELLE (by default 'isabelle') -The directory structure of the repository is different from the +The directory structure of the CVS is different from the distribution. The root directory $ISABELLE is the src subdirectory in the distribution. The 'normal' distribution directories are found in $ISABELLE/Distribution. @@ -19,20 +19,19 @@ This tells the Isabelle binaries where to find the theories. -In $ISABELLE/Distribution/contrib install PolyML and -ProofGeneral. Download the corresponding packages from +In $ISABELLE/Distribution/contrib install Poly/ML and +Proof General. Download the corresponding packages from http://isabelle.in.tum.de/dist/ and unpack them in $ISABELLE/Distribution/contrib. If you have already installed them elsewhere, it is sufficient to create a symbolic link in contrib to -the main PolyML and ProofGeneral directories. The links should be +the main Poly/ML and ProofGeneral directories. The links should be called 'polyml' and 'ProofGeneral'. -Before you can build logic images it is necessary to initialise -generation of browser info. Change to the directory -"$ISABELLE/Distribution/lib/browser" and issue - make - -Java JDK 1.1 or greater needs to be installed for this to work. +Building logic images with browser info generation (which is the +default setting) requires a compiled version of the browser JVM +application. Change to the directory +"$ISABELLE/Distribution/lib/browser" and issue make; this requires +Java JDK 1.4 or greater. Now you can build images by going to corresponding folders and issuing: isatool make @@ -48,7 +47,7 @@ repository since the last update, -P causes directories that have been removed from the repository to be pruned). -Internal environment variables +Default Isabelle settings: $ISABELLE_HOME is the directory "isabelle/Distribution" from above. $ISABELLE_HOME_USER is the directory "~/isabelle".