From 04ed8b51d0ae0ea4eda99251d79e576a63d8119e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 11:00:35 +0000
Subject: Remove development note

---
 CHANGES | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

diff --git a/CHANGES b/CHANGES
index ba3c4561..562b9bda 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,13 +1,6 @@
 -*- outline -*-
 
---- This is a development release of Proof General,   ---
---- some features may be incomplete or buggy.  Please ---
---- report any problems to da@dcs.ed.ac.uk, thanks.   ---
---- Check the files BUGS and <prover>/BUGS first.     ---
-
---- ID: $Id$	      			              ---
-
-* Summary of Changes for Proof General 3.4pre from 3.3
+* Summary of Changes for Proof General 3.4 from 3.3
 
 ** Generic Changes
 
-- 
cgit v1.2.3