diff options
| author | David Aspinall | 2003-10-05 16:18:37 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-10-05 16:18:37 +0000 |
| commit | 51775bf205b79170fb88707240b3e87d25aff1a0 (patch) | |
| tree | d4430045e6a292c37802c0b8711bb475fe005648 /html | |
| parent | 1a7de3cb4c4c1ad15e11f8e412605e944cfa9e30 (diff) | |
Fix HTML
Diffstat (limited to 'html')
| -rw-r--r-- | html/news.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/news.html b/html/news.html index 90d00427..bc67d6b6 100644 --- a/html/news.html +++ b/html/news.html @@ -20,7 +20,7 @@ Details are <a href="devel">here</a>. Please <b>update your links!</b>. The server <tt>zermelo.dcs.ed.ac.uk</tt> hosting Proof General for the last 5 years will be retired soon. Please refer to the web site using the URL -<b><a href="http://www.proofgeneral.org>www.proofgeneral.org</a></b>. +<b><a href="http://www.proofgeneral.org">www.proofgeneral.org</a></b>. </p> <li><b>29th August 2002</b> |