diff options
Diffstat (limited to 'html/oldnews.html')
| -rw-r--r-- | html/oldnews.html | 6 |
1 files changed, 0 insertions, 6 deletions
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! |