From b6150be576e5c3b01cd4081c2bb19ea882980b31 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 13 Jul 2002 17:20:30 +0000 Subject: Triv --- html/about.html | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'html') diff --git a/html/about.html b/html/about.html index 2344e7f4..01c2393f 100644 --- a/html/about.html +++ b/html/about.html @@ -6,8 +6,9 @@ Have you any questions, comments, or suggestions about Proof General? Send us a message using this form or by email to . -You can discuss Proof General with other users and receive -announcements by joining our mailing +
+Receive announcements and discuss Proof General on +our
mailing list.

-- cgit v1.2.3