From: Claudio Sacerdoti Coen Date: Mon, 11 Mar 2002 15:51:47 +0000 (+0000) Subject: Link to Paul's new MOWGLI page added. X-Git-Tag: V_0_3_0_debian_8~223 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b553e1831ed3b3aeb39558c369db4d15191a67f5;p=helm.git Link to Paul's new MOWGLI page added. --- diff --git a/helm/mowgli/home/xml/news.xml b/helm/mowgli/home/xml/news.xml index 00cc66a75..c41c0b539 100644 --- a/helm/mowgli/home/xml/news.xml +++ b/helm/mowgli/home/xml/news.xml @@ -21,8 +21,9 @@ 20020311 - Paul Libbrecht contributes a much improved PDF file for the - MOWGLI contract in the member area. + Paul Libbrecht + contributes a much improved PDF file for the MOWGLI contract in the + member area.