diff options
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 |