changeset 14585 6cf696e5ef7f
parent 14584 76b81ae4031f
child 27461 c2bba6a4d750
--- a/Admin/README.repos	Fri Apr 16 10:21:06 2004 +0200
+++ b/Admin/README.repos	Fri Apr 16 10:23:47 2004 +0200
@@ -19,10 +19,13 @@
 This tells the Isabelle binaries where to find the theories.
-In $ISABELLE/Distribution/ install PolyML and ProofGeneral. 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 called 'polyml' and 'ProofGeneral'.
+In $ISABELLE/Distribution/contrib install PolyML and
+ProofGeneral. Download the corresponding packages from
+ 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
+called 'polyml' and 'ProofGeneral'.
 Before you can build logic images it is necessary to initialise
 generation of browser info.  Change to the directory