diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-09-25 09:47:17 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-09-25 09:47:17 +0000 |
| commit | ff59ed123aab4704f990d6be364c9c979bc52c35 (patch) | |
| tree | 7ee56b817616aedd85193140874091d64eb10ebc /html | |
| parent | 18a794b1a29d48c18f4b868f6839da51ea59c76b (diff) | |
Replace web mirror of repo with anon cvs description
Diffstat (limited to 'html')
| -rw-r--r-- | html/devel.html | 20 |
1 files changed, 14 insertions, 6 deletions
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> |