From e39eff792f0976cce529bb872ee0d21de5de2417 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 28 Feb 2007 12:18:58 +0000
Subject: Updated.

---
 .cvsignore | 2 ++
 CHANGES    | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

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
 
-- 
cgit v1.2.3