From ea97c72460bf876bd69fdd54f170d449f348b937 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 13 Dec 2007 13:14:17 +0000
Subject: Updated.

---
 ChangeLog.gz | Bin 15677 -> 144660 bytes
 README       |   9 +++++----
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/ChangeLog.gz b/ChangeLog.gz
index e94ff552..c6db7b4b 100644
Binary files a/ChangeLog.gz and b/ChangeLog.gz differ
diff --git a/README b/README
index 642beba9..f5d76e36 100644
--- a/README
+++ b/README
@@ -9,10 +9,11 @@ environment for using interactive proof assistants.
 
 See
 
-    INSTALL   for installation details.
-    COPYING   for license details.
-    REGISTER  for registration information (please register).
-    FAQ, doc/ for documentation of Proof General.
+    INSTALL	   for installation details.
+    COPYING	   for license details.
+    COMPATIBILITY  for version compatibility information.
+    REGISTER	   for registration information (please register).
+    FAQ, doc/	   for documentation of Proof General.
 
 Links:
 
-- 
cgit v1.2.3