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