# HG changeset patch
# User kleing
# Date 1082103827 -7200
# Node ID 6cf696e5ef7f052e9dd6e306810aeee23c55c10a
# Parent  76b81ae4031f7d144940b8177e5a04c82a93382b
say how to install PG and poly

diff -r 76b81ae4031f -r 6cf696e5ef7f Admin/README.repos
--- 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
+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
+called 'polyml' and 'ProofGeneral'.
 
 Before you can build logic images it is necessary to initialise
 generation of browser info.  Change to the directory