diff options
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> |