diff options
Diffstat (limited to 'html/about.html')
| -rw-r--r-- | html/about.html | 31 |
1 files changed, 14 insertions, 17 deletions
diff --git a/html/about.html b/html/about.html index d5be7bc7..2344e7f4 100644 --- a/html/about.html +++ b/html/about.html @@ -1,3 +1,16 @@ +<h2>Contact information</h2> + +<p> +Have you any questions, comments, or suggestions about Proof General? +<br> +Send us a message using <a href="feedback">this form</a> +or by email to +<?php mlinktxt($project_feedback, "$project_feedback"); ?>. +You can discuss Proof General with other users and receive +announcements by joining our <a href="mailinglist">mailing +list</a>. +</p> + <h2>About the Proof General project</h2> <p> The forefather of Proof General was LEGO mode, begun in 1994 at the <a @@ -37,20 +50,4 @@ the Proof General program, see the <?php htmlshow("ProofGeneral/doc/ProofGeneral_1.html#SEC3","manual preface.","","html") ?> </p> - -<h2>Contact information</h2> - -<p> -Have you any questions, comments, or suggestions about Proof General? -<br> -Send us a message using <a href="feedback">this form</a>. -</p> - -<p> -Discuss Proof General with other users and receive -announcements by joining our <a href="mailinglist">mailing -list</a>. -</p> - - - +<?php include('links.html') ?> |