1 files changed, 1 insertions, 1 deletions
diff --git a/CHANGES b/CHANGES
index 2998e361..b2e9cd05 100644
--- a/CHANGES
+++ b/CHANGES
@@ -2,7 +2,7 @@
 
 See also etc/release-log.txt for minor patches.
 
-* Summary of Changes for Proof General 3.6 from 3.5
+* Summary of Changes for Proof General 3.7 from 3.5 (via many 3.6preXXXX)
 
 ** Generic changes