1 files changed, 5 insertions, 4 deletions
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: