From ee7421cac1a96ac7d4d931d4021be6d15516e814 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 11 Jan 2002 16:45:15 +0000
Subject: Fix number

---
 CHANGES | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index 3265125e..01c7a57c 100644
--- a/CHANGES
+++ b/CHANGES
@@ -4,7 +4,7 @@
 --- some features may be incomplete or buggy.  Please ---
 --- report any problems to da@dcs.ed.ac.uk, thanks.   ---
 
-* Summary of Changes for Proof General 3.4pre from 3.2
+* Summary of Changes for Proof General 3.4pre from 3.3
 
 ** Generic Changes
 
-- 
cgit v1.2.3