Updated.

2 files changed, 3 insertions, 1 deletions

diff --git a/.cvsignore b/.cvsignore
index 0018713c..c634c5a3 100644
--- a/.cvsignore
+++ b/.cvsignore
@@ -2,4 +2,6 @@
 nohup.out
 TAGS
 ChangeLog
+*/*.autotest.txt
+
 
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