From d9eb3172ea75d861acb4373774ced9f954643c80 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 14 Jul 2002 11:56:15 +0000 Subject: Improve layout. --- html/feedback.php | 22 ++++++++++++---------- 1 file changed, 12 insertions(+), 10 deletions(-) (limited to 'html') diff --git a/html/feedback.php b/html/feedback.php index 4b01ce80..e599bfcd 100644 --- a/html/feedback.php +++ b/html/feedback.php @@ -17,9 +17,8 @@
Please use the form below to send us comments, suggestions,
-or offers to help with Proof Generl development.
-
-Or send email directly to
+or offers to help with Proof General development.
+Or simply send an email directly to
the
@@ -29,7 +28,7 @@ be more helpful to do this from within Emacs, using the