diff options
| author | David Aspinall | 2002-07-13 16:18:51 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-13 16:18:51 +0000 |
| commit | 2a2fb1a6405fbae27a7d2abca51f5472fb4f415d (patch) | |
| tree | d139c6a4b0d62d251dce90f1d0b9c03eecd010c3 /html | |
| parent | e684dff9d4e6b188d0d995ca5acdced4ca6c8caf (diff) | |
Reorder, include links here.
Diffstat (limited to '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') ?> |