From 71aeb7e48e8b716e4c5a0116e1fbed019f4ccd42 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 9 Feb 2000 19:43:36 +0000
Subject: Direction to look at BUGS file

---
 html/download.phtml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'html')

diff --git a/html/download.phtml b/html/download.phtml
index a44cfa20..dc243a26 100644
--- a/html/download.phtml
+++ b/html/download.phtml
@@ -131,8 +131,14 @@ This version of Proof General has been tested
 with XEmacs 21.1 and FSF Emacs 20.4.
 It supports Coq version 6.3, LEGO version 1.3.1 and
 Isabelle99.
+<p>
 Check the <?php fileshow("ProofGeneral-3.0/CHANGES","CHANGES"); ?> file
 for a summary of changes since version 2.1.
+<p>
+Check the latest <?php fileshow("ProofGeneral/BUGS","BUGS"); ?> file
+before reporting problems.  If you find a problem not mentioned
+there, please 
+<?php hlink("feedback.phtml","send us a note.","Feedback form")?>.
 </p>
 
 
-- 
cgit v1.2.3