From: Luca Padovani Date: Wed, 4 Jun 2003 10:50:10 +0000 (+0000) Subject: * patched wrong commit (perhaps...) X-Git-Tag: V7_3_new_exportation_merged~29 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a16f1f178ae68b52bedfc8adf938f18b41d5e20e;p=helm.git * patched wrong commit (perhaps...) --- diff --git a/helm/style/rootcontent.xsl b/helm/style/rootcontent.xsl index 64acead36..addef615b 100644 --- a/helm/style/rootcontent.xsl +++ b/helm/style/rootcontent.xsl @@ -40,7 +40,7 @@ - + @@ -53,21 +53,42 @@ - - + + + + + + + + + + + + + + + + + + - + - - - + + + + + + + +