1 files changed, 1 insertions, 1 deletions
diff --git a/CHANGES b/CHANGES
index 0762a7e5..c3c3ce50 100644
--- a/CHANGES
+++ b/CHANGES
@@ -4,7 +4,7 @@ This is a summary of main changes.  For details, please see
 the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac.
 
 
-* Changes of Proof General 4.1.1 from Proof General 4.1
+* Changes of Proof General 4.2 from Proof General 4.1
 
 ** Generic/misc changes