From 665793e2e5cc528af5cff6995ec9a2c072502f04 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 26 Sep 2000 12:18:37 +0000
Subject: Fix Proof General web page to www.proofgeneral.org.

---
 html/devel.phtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html/devel.phtml')

diff --git a/html/devel.phtml b/html/devel.phtml
index 1b92fe2b..ce9f1d3c 100644
--- a/html/devel.phtml
+++ b/html/devel.phtml
@@ -22,7 +22,7 @@ for a summary of changes since the last stable version.
 </ul>
 <ul>
 <li>
-Browse a mirror of the <a href="http://zermelo.dcs.ed.ac.uk/cgi-bin/cvsweb.cgi">Proof General CVS repository</a>.  <br>
+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>
 </li>
-- 
cgit v1.2.3