From f53bbf14695f988b16d028a3ffb347b4d080a3f4 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 24 Feb 2009 15:23:38 +0000
Subject: [PATCH] ...
---
helm/www/matita/community.shtml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml
index bd027d643..65155112d 100644
--- a/helm/www/matita/community.shtml
+++ b/helm/www/matita/community.shtml
@@ -17,8 +17,9 @@
<a href="http://cs.unibo.it/cgi-bin/mailman/listinfo/matita">Matita mailing list</a>
<p>
The list is open to subscriptions for everyone, subscription is
- required in order to post. Archives of old posts are available.
+ required in order to post. <a href="http://www.cs.unibo.it/pipermail/matita/">Archives</a> of old posts are available.
</p>
+ <p>Here a link to the <a href="http://www.cs.unibo.it/cgi-bin/mailman/admin/matita/">administrative</a> interface</p>
<!--#include virtual="bottombar.shtml" -->
--
2.39.2