X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fannotatedcont.xsl;h=2f5fa84e628da3c980cb8ac1d4719c50bbdd889b;hb=cc1698821a40a29b02d7f5c5f60ab63542511d32;hp=7d5a6d5b394f537b14a1923ff3b249d3256ecf5e;hpb=f079a5948394ada2f2aba69270869058111bb3fe;p=helm.git
diff --git a/helm/style/annotatedcont.xsl b/helm/style/annotatedcont.xsl
index 7d5a6d5b3..2f5fa84e6 100644
--- a/helm/style/annotatedcont.xsl
+++ b/helm/style/annotatedcont.xsl
@@ -35,15 +35,14 @@
-
+
-
-
-
+
+
-
+
-
+
@@ -53,10 +52,11 @@
+
-
+
-
+
@@ -67,16 +67,19 @@
-
-
+
+
+
+
+
-
-
-
-
-
+
+
+
+
+
@@ -94,4 +97,26 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+