From d89224888fb6579d93bb20e2245fcffc1bc7afe4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 2 Oct 2000 19:08:15 +0000
Subject: Whoops, left pre-release header in

---
 CHANGES | 3 ---
 1 file changed, 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 
-- 
cgit v1.2.3