From 183360533e50ca5bd85273fc4cbc750c26a2e102 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 10 Sep 2001 12:46:56 +0000
Subject: Update release dates

---
 html/download.html | 2 +-
 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
-- 
cgit v1.2.3