X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Frootcontent.xsl;h=5d2eb2e4c542669dfebd0b42d250e48b88371cd1;hb=db593c40165a5ac71b6aa87e43e90b8b45e8ed59;hp=74d29d9f398af8a4d16d17dd1b082deb4d554bf7;hpb=b72beb68cf0c34cb0785ad7e2a4c426494e29e6a;p=helm.git
diff --git a/helm/style/rootcontent.xsl b/helm/style/rootcontent.xsl
index 74d29d9f3..5d2eb2e4c 100644
--- a/helm/style/rootcontent.xsl
+++ b/helm/style/rootcontent.xsl
@@ -71,8 +71,10 @@
+
+
@@ -80,6 +82,13 @@
-
+
+
+
+
+
+
+
+