diff options
| author | David Aspinall | 1999-08-23 19:31:53 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-08-23 19:31:53 +0000 |
| commit | f802355c69ae4309d711bedc2680a11c32b05116 (patch) | |
| tree | f7dbc86c0b9782876afb58c6df0e8d6d65a99c1e /html | |
| parent | 6356844f203c818af2d3fedf9d02aa3cd3722089 (diff) | |
Very soon now = now
Diffstat (limited to 'html')
| -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> |