diff options
| author | David Aspinall | 2001-09-10 12:46:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-09-10 12:46:56 +0000 |
| commit | 183360533e50ca5bd85273fc4cbc750c26a2e102 (patch) | |
| tree | 1c8ea561571e759a4911bc39aefe1a6a065ad120 /html | |
| parent | ff5a3eaf399d84bf9a9baaaf63332883b6d0b55c (diff) | |
Update release dates
Diffstat (limited to 'html')
| -rw-r--r-- | html/download.html | 2 | ||||
| -rw-r--r-- | html/news.html | 2 |
2 files changed, 2 insertions, 2 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> diff --git a/html/news.html b/html/news.html index 1f593e34..b96962bc 100644 --- a/html/news.html +++ b/html/news.html @@ -1,7 +1,7 @@ <h2>News about Proof General</h2> <ul> -<li><b>9th September 2001</b> +<li><b>10th September 2001</b> <p> <a href="download">Proof General 3.3</a> is released, with <?php fileshow("ProofGeneral-3.3/CHANGES","new features"); ?> to |