Whoops, left pre-release header in

1 files changed, 0 insertions, 3 deletions

diff --git a/CHANGES b/CHANGES
index 30fe925e..3f205730 100644
--- a/CHANGES
+++ b/CHANGES
@@ -2,9 +2,6 @@
 
 * Summary of Changes for Proof General 3.2 from 3.1
 
------ NB: this is a pre-release of PG 3.2.  Bugs likely, please report ------ 
------ PG 3.2 is scheduled for release at the end of September 2000. -----
-
 ** Generic Changes
 
 *** Keybindings alterations