Remove development note

1 files changed, 1 insertions, 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