From 2285962e4ae84a771fd25fff9ec65380ada4169d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Sep 2001 12:23:52 +0000
Subject: Please try devel version

---
 html/download.html | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'html')

diff --git a/html/download.html b/html/download.html
index 407d8ce1..dd00e02d 100644
--- a/html/download.html
+++ b/html/download.html
@@ -98,10 +98,13 @@ All components mentioned above are distributed under the GPL license.
 <br>
 
 <h2><a name="stable">
-    Proof General Version 3.3, released 5th September 2001
+    Proof General Version 3.3, to be released 7th 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