From: Irene Schena Date: Mon, 11 Mar 2002 13:21:25 +0000 (+0000) Subject: Modified Files: X-Git-Tag: V_0_3_0_debian_8~228 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8fed5617e959378f9c6a4939b0a13ac5ebde4cfe;hp=8fed5617e959378f9c6a4939b0a13ac5ebde4cfe;p=helm.git Modified Files: 1) xml/sites/aei.xml xml/sites/dfki.xml xml/sites/nijmegen.xml xml/sites/trusted-logic.xml xsl/site.xsl: added site members info ---