From 6b5312ab6c4c64095d201a5bc9a7ed05e927f135 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 14 Jul 2002 17:37:25 +0000
Subject: Add links

---
 etc/Mailman/intro-proofgeneral.html      | 2 +-
 etc/Mailman/intro-proofgeneraldevel.html | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/etc/Mailman/intro-proofgeneral.html b/etc/Mailman/intro-proofgeneral.html
index 2d359bbb..291b0735 100644
--- a/etc/Mailman/intro-proofgeneral.html
+++ b/etc/Mailman/intro-proofgeneral.html
@@ -1 +1 @@
-<a href="http://www.proofgeneral.org">Proof General</a> is a generic interface for proof assistants, currently based on Emacs. This mailing list is for the announcement of new versions of Proof General and discussions about using Proof General.
+<a href="http://www.proofgeneral.org">Proof General</a> is a generic interface for proof assistants, currently based on Emacs. This mailing list is for the announcement of new versions of Proof General and discussions about using Proof General.  People who are interested in the development of Proof General should also join the <a href="http://lists.informatics.ed.ac.uk/mailman/listinfo/proofgeneral-devel">Proof General developers list</a>.
diff --git a/etc/Mailman/intro-proofgeneraldevel.html b/etc/Mailman/intro-proofgeneraldevel.html
index 5a59bc80..3122c822 100644
--- a/etc/Mailman/intro-proofgeneraldevel.html
+++ b/etc/Mailman/intro-proofgeneraldevel.html
@@ -1,3 +1,3 @@
-Proof General is a generic interface for proof assistants, currently based on Emacs. This mailing list is for developers of Proof General to discuss issues in the development of new versions of Proof General, such as new features and adaptation to new proof assistants.  
+<a href="http://www.proofgeneral.org">Proof General</a> is a generic interface for proof assistants, currently based on Emacs. This mailing list is for developers of Proof General to discuss issues in the development of new versions of Proof General, such as new features and adaptation to new proof assistants.  
 
-For announcements about Proof General and discussion of using it, subscribe to the ProofGeneral list (announcements sent there will <b>not</b> be duplicated here).
+For announcements about Proof General and discussion of using it, subscribe to the <a href="http://lists.informatics.ed.ac.uk/mailman/listinfo/proofgeneral">ProofGeneral users list</a> (announcements sent there will <b>not</b> be duplicated here).
-- 
cgit v1.2.3