From ff59ed123aab4704f990d6be364c9c979bc52c35 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 25 Sep 2003 09:47:17 +0000
Subject: Replace web mirror of repo with anon cvs description

---
 html/devel.html | 20 ++++++++++++++------
 1 file changed, 14 insertions(+), 6 deletions(-)

(limited to 'html')

diff --git a/html/devel.html b/html/devel.html
index 533a8d32..4b706ac7 100644
--- a/html/devel.html
+++ b/html/devel.html
@@ -25,12 +25,20 @@ for a summary of changes since the last stable version.
 
 <ul>
 <li>
-Browse a mirror of the <a href="http://www.proofgeneral.org/cgi-bin/cvsweb.cgi">Proof General CVS repository</a>.  <br>
-<i>Note:</i> this mirror is updated nightly, so it may be 
-slightly out of date.<br>
-If you want to be an "official" developer and
-access the real CVS repository, 
-<a href="feedback.html">ask here</a>.
+<b>New!</b>  The Proof General CVS repository is available by
+anonymous CVS.  Login with:
+<blockquote>
+      cvs -d :pserver:anon@cvs.inf.ed.ac.uk:/disk/cvs/proofgen login
+</blockquote>
+and use the password <tt>anon</tt>.  Then you can check out
+the CVS with:
+<blockquote>
+      cvs -d :pserver:anon@cvs.inf.ed.ac.uk:/disk/cvs/proofgen checkout ProofGeneral
+</blockquote>
+For more information, see the file <tt>etc/cvs-tips.txt</tt> in the
+repository.  (If you want to be an "official" developer and
+have write access to the CVS repository, 
+<a href="feedback.html">ask here first</a>).
 </li>
 </ul>
 
-- 
cgit v1.2.3