From 2a2fb1a6405fbae27a7d2abca51f5472fb4f415d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 13 Jul 2002 16:18:51 +0000
Subject: Reorder, include links here.

---
 html/about.html | 31 ++++++++++++++-----------------
 1 file changed, 14 insertions(+), 17 deletions(-)

(limited to 'html')

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') ?>
-- 
cgit v1.2.3