diff options
Diffstat (limited to 'html/news.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 1f593e34..b96962bc 100644 --- a/html/news.html +++ b/html/news.html @@ -1,7 +1,7 @@ <h2>News about Proof General</h2> <ul> -<li><b>9th September 2001</b> +<li><b>10th September 2001</b> <p> <a href="download">Proof General 3.3</a> is released, with <?php fileshow("ProofGeneral-3.3/CHANGES","new features"); ?> to |