From c9d21a669960693d5e05ceff3c68ab698bbf318d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 17 Aug 1999 19:25:17 +0000
Subject: Mention mailing list

---
 html/doc.phtml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'html/doc.phtml')

diff --git a/html/doc.phtml b/html/doc.phtml
index 4b67c547..0daca9ae 100644
--- a/html/doc.phtml
+++ b/html/doc.phtml
@@ -24,6 +24,12 @@ pre-release and may be updated from the documentation included
 in the last stable release.
 </p>
 
+<p>
+You can discuss Proof General with other users and receive
+announcements by joining our <a href="mailinglist.phtml">mailing
+lists</a>.
+</p>
+
 <hr>
 <h2>References</h2>
 
-- 
cgit v1.2.3