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/download.phtml | |
| parent | 75458c4a8911dfe44c978274354a8d25ecf42ad6 (diff) | |
Altered release date for 2.1.
Diffstat (limited to 'html/download.phtml')
| -rw-r--r-- | html/download.phtml | 4 |
1 files changed, 2 insertions, 2 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 |