From 5797c9b0776a0a59faa81c30282ab57bab4f0b22 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 3 Feb 2008 13:05:42 +0000
Subject: Updated.

---
 CHANGES | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/CHANGES b/CHANGES
index df6152cf..04237adf 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,9 +1,10 @@
 -*- outline -*-  
 
-See also etc/release-log.txt for minor patches.
-Please report problems and send patches to:
+* Summary of Changes for Proof General 3.7.1 from 3.7
+
+
+
 
-  http://proofgeneral.inf.ed.ac.uk/trac
 
 * Summary of Changes for Proof General 3.7 from 3.5  (via 3.6pre)
 
-- 
cgit v1.2.3