diff options
| author | David Aspinall | 1999-08-24 19:27:02 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-08-24 19:27:02 +0000 |
| commit | f8a66d8293682f3a74f3f16d325d57cdfdf991e7 (patch) | |
| tree | b6334b37ef8af129b2de999d7cac8b3c607ae896 /html | |
| parent | 75458c4a8911dfe44c978274354a8d25ecf42ad6 (diff) | |
Altered release date for 2.1.
Diffstat (limited to 'html')
| -rw-r--r-- | html/download.phtml | 4 | ||||
| -rw-r--r-- | html/news.phtml | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/html/download.phtml b/html/download.phtml index 939b691b..a24d7a44 100644 --- a/html/download.phtml +++ b/html/download.phtml @@ -33,7 +33,7 @@ you may wish to check the <hr> <h2><a name="stable"> - Proof General Version 2.1, released 23 August 1999 + Proof General Version 2.1, released 24th August 1999 </a> </h2> @@ -192,7 +192,7 @@ we can make our CVS repository accessible to you. Please Please note that we do not support these previous releases in any way. -<h4>Proof General Version 2.0, released 16 December 1998</h4> +<h4>Proof General Version 2.0, released 16th December 1998</h4> <p> This version of Proof General has been tested diff --git a/html/news.phtml b/html/news.phtml index c160daaf..10ae5050 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -1,5 +1,5 @@ <ul> -<li><b>23rd August 1999</b><br> +<li><b>24th August 1999</b><br> <p> Proof General version 2.1 is released. <br> |