From: Claudio Sacerdoti Coen Date: Fri, 22 Mar 2002 13:53:21 +0000 (+0000) Subject: Rendering improved. X-Git-Tag: V_0_3_0_debian_8~191 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=31134a48bb89a2f747906fb27b301ac1b441dea1;p=helm.git Rendering improved. --- diff --git a/helm/mowgli/home/xsl/minutes.xsl b/helm/mowgli/home/xsl/minutes.xsl index 540668cc5..ff6f76d20 100644 --- a/helm/mowgli/home/xsl/minutes.xsl +++ b/helm/mowgli/home/xsl/minutes.xsl @@ -63,7 +63,9 @@   ( - + + + ) @@ -76,7 +78,9 @@  ( - + + + ):