diff options
Diffstat (limited to 'html/download.html')
| -rw-r--r-- | html/download.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/download.html b/html/download.html index 101e3040..efa796d9 100644 --- a/html/download.html +++ b/html/download.html @@ -40,7 +40,7 @@ See <a href="#prereq">below</a> for software pre-requisites for running Proof Ge </p> <h2><a name="stable"> - Proof General Version 3.3, released 9th September 2001 + Proof General Version 3.3, released 10th September 2001 </a> </h2> |