diff options
| -rw-r--r-- | html/news.phtml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/html/news.phtml b/html/news.phtml index 09b5eb28..c160daaf 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -1,6 +1,5 @@ <ul> -<li><b>Very soon now</b><br> -<!-- 23rd August 1999 --> +<li><b>23rd August 1999</b><br> <p> Proof General version 2.1 is released. <br> |