From: Claudio Sacerdoti Coen Date: Fri, 22 Mar 2002 13:45:53 +0000 (+0000) Subject: Rendering improved. X-Git-Tag: V_0_3_0_debian_8~192 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=aa3f1930a6cf2a6e8d61cb6dba4028fecdefcd11;p=helm.git Rendering improved. --- diff --git a/helm/mowgli/home/xsl/management.xsl b/helm/mowgli/home/xsl/management.xsl index 53fd82667..157085941 100644 --- a/helm/mowgli/home/xsl/management.xsl +++ b/helm/mowgli/home/xsl/management.xsl @@ -117,7 +117,11 @@ - + @@ -159,15 +163,20 @@
+ + + +
- +
+ + + +
+ - +