From 318d45596d7a57b90dbe685a3e1af3ec12a91469 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 Dec 2003 16:46:47 +0000
Subject: Remove proofgeneral.org domain.

---
 html/oldnews.html | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'html/oldnews.html')

diff --git a/html/oldnews.html b/html/oldnews.html
index 510f0904..47d7ebd7 100644
--- a/html/oldnews.html
+++ b/html/oldnews.html
@@ -125,12 +125,6 @@ running as root (likely an operating system configuration problem).
 Thanks to Markus Wenzel and Pierre Lescanne for reporting problems.
 </p>
 </li>
-<li><b>9th May 2000</b>
-<p>
-New! For developers, a web-browsable
-mirror of the Proof General cvs is available
-<a href="http://www.proofgeneral.org/cgi-bin/cvsweb.cgi">here</a>.
-</p>
 <li><b>5th May 2000</b>
 <p>
 New!  
-- 
cgit v1.2.3