diff options
Diffstat (limited to 'html')
| -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> |