From 2b59e51221010e06f3246b70617d01a9b1a450dd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 1 Feb 1999 13:47:40 +0000
Subject: Idea to have a mailing list for PG.

---
 todo | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/todo b/todo
index 0a643cdd..c3ddab62 100644
--- a/todo
+++ b/todo
@@ -32,6 +32,11 @@ B Add a "register" page for registering downloads.  Perhaps filling
     http://www.dcs.ed.ac.uk/home/da/Isamode/IsamodeSurvey.html
   [2 hours]
 
+B Make a mailing list for Proof General users.
+  [2 hours for introductory messages, mentioning on web
+   pages, understanding Majordomo.  Maybe support will
+   make the list itself.]
+
 B Polish ProofGeneral.texi and publish LaTeX version as an LFCS
   Technical Report.  
 
-- 
cgit v1.2.3