From f5e27f6de5b2e2e1b68239894014c465ccb4790a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 9 May 2000 16:07:37 +0000
Subject: Added browsable CVS.

---
 html/news.phtml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'html/news.phtml')

diff --git a/html/news.phtml b/html/news.phtml
index 3a7994bf..6e64cc59 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -6,6 +6,12 @@
 </p>
 
 <ul>
+<li><b>9th May 2000</b>
+<p>
+New! For developers, a web-browsable
+mirror of the Proof General cvs is available
+<a href="http://zermelo.dcs.ed.ac.uk/cgi-bin/cvsweb.cgi">here</a>.
+</p>
 <li><b>5th May 2000</b>
 <p>
 New!  
-- 
cgit v1.2.3