From e908c637efcc099944fc42fc6f539aeb31bf9306 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 9 Sep 2001 14:07:45 +0000
Subject: Remove to be released line

---
 html/download.html | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'html')

diff --git a/html/download.html b/html/download.html
index cfd52d2f..f9fbe3c6 100644
--- a/html/download.html
+++ b/html/download.html
@@ -98,13 +98,10 @@ All components mentioned above are distributed under the GPL license.
 <br>
 
 <h2><a name="stable">
-    Proof General Version 3.3, to be released 7th September 2001
+    Proof General Version 3.3, released 9th September 2001
     </a>
 </h2>
 
-<i><b>PG 3.3 is not yet available, for this week please try
- the <a href="devel">development version</a>.</b></i>
-
 <p>
 Proof General is available as an archive and an RPM package.
 </p>
-- 
cgit v1.2.3