aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--CHANGES2
1 files changed, 1 insertions, 1 deletions
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