From: Claudio Sacerdoti Coen Date: Fri, 22 Mar 2002 13:25:19 +0000 (+0000) Subject: Layout improved. X-Git-Tag: V_0_3_0_debian_8~195 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ff5079a2aeb8e62e23c9eb4c1c9fbf37056e5f97;p=helm.git Layout improved. --- diff --git a/helm/mowgli/home/xsl/minutes.xsl b/helm/mowgli/home/xsl/minutes.xsl index e0bc462a3..540668cc5 100644 --- a/helm/mowgli/home/xsl/minutes.xsl +++ b/helm/mowgli/home/xsl/minutes.xsl @@ -77,7 +77,7 @@  ( - ): + ): @@ -88,7 +88,7 @@ ] - [slides unavailable] + [slides unavailable]