From 4b9159844e4cedfc0b164902ce5034df937c7129 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 2 Oct 2000 18:19:03 +0000
Subject: Note about current pre-release being outdated wrt 3.2

---
 html/develdownload.html | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'html')

diff --git a/html/develdownload.html b/html/develdownload.html
index e486c8fc..ac95f806 100644
--- a/html/develdownload.html
+++ b/html/develdownload.html
@@ -3,6 +3,11 @@
   small_header("Proof General Development Release"); 
   ?>
 
+<p>
+<b>NOTE:</b> The current pre-release is the same as version 3.2.
+It won't be updated with new features for a while.
+</p>
+
 <p>
 <a href="#prerel">Below</a> is the latest pre-release of Proof General,
 made available for those who wish to test the latest features or bug
-- 
cgit v1.2.3