diff options
| author | David Aspinall | 2000-02-09 19:43:36 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-02-09 19:43:36 +0000 |
| commit | 71aeb7e48e8b716e4c5a0116e1fbed019f4ccd42 (patch) | |
| tree | 804d5a234f42eb35f26f42bba69b1076d9be5276 | |
| parent | 0309ccee40311b5684a79bcd5b3732a3aadc3952 (diff) | |
Direction to look at BUGS file
| -rw-r--r-- | html/download.phtml | 6 |
1 files changed, 6 insertions, 0 deletions
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> |