From 390a659861192ebf98811438f61c4f992ecad25a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 13 Mar 2000 04:21:14 +0000
Subject: New/updated information files

---
 README | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'README')

diff --git a/README b/README
index 28170830..12c966f5 100644
--- a/README
+++ b/README
@@ -16,7 +16,8 @@ See COPYING for license details.
 
 See doc/ for documentation of Proof General.
 
-For notes on the supported assistants, see the subdirectories,
+For notes on the supported assistants, see the README files
+in subdirectories:
 
      isa/   Isabelle
     isar/   Isabelle/Isar
@@ -25,6 +26,8 @@ For notes on the supported assistants, see the subdirectories,
    hol98/   HOL 98
  plastic/   Plastic
 
+Check BUGS for problems and issues, in this directory, and
+for specific issues, in each prover subdirectory.
 
 For the latest news and downloads, check the Proof General web page
 at: http://www.lfcs.informatics.ed.ac.uk/proofgen
-- 
cgit v1.2.3