Updated.

1 files 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)