diff options
author | 2002-07-13 17:20:30 +0000 | |
---|---|---|
committer | 2002-07-13 17:20:30 +0000 | |
commit | b6150be576e5c3b01cd4081c2bb19ea882980b31 (patch) | |
tree | 11b85fe43c79a3e93b174277eda7c0981d90adeb /html | |
parent | 27b628241fd95a1a4fb23078bf5b4a6928735cf2 (diff) |
Triv
Diffstat (limited to 'html')
-rw-r--r-- | html/about.html | 5 |
1 files changed, 3 insertions, 2 deletions
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 <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 +<br> +Receive announcements and discuss Proof General on +our <a href="mailinglist">mailing list</a>. </p> |