diff options
| author | David Aspinall | 2003-12-11 16:46:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-12-11 16:46:47 +0000 |
| commit | 318d45596d7a57b90dbe685a3e1af3ec12a91469 (patch) | |
| tree | 788d9a7ce12872f457bca6f8c931ce54c1711af8 /html/oldnews.html | |
| parent | 04baa23ca93674fea88bab8e2379daa1c4c0a472 (diff) | |
Remove proofgeneral.org domain.
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! |