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 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html/download.html')

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>
 
-- 
cgit v1.2.3