X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fannotatedcont.xsl;h=97f259d673e521972975164affd40fcdd855be50;hb=c5c48f3d3515f1dd95657245922ec1f340e17f70;hp=168dbd47914f7bad79aa3af3df2c965b8d87dd89;hpb=8e1a7e55cbc7750446f0a7ab3d071190594243fb;p=helm.git
diff --git a/helm/style/annotatedcont.xsl b/helm/style/annotatedcont.xsl
index 168dbd479..97f259d67 100644
--- a/helm/style/annotatedcont.xsl
+++ b/helm/style/annotatedcont.xsl
@@ -35,15 +35,14 @@
-
-
-
+
+
-
+
-
+
@@ -52,11 +51,12 @@
-
+
+
-
+
-
+
@@ -67,16 +67,19 @@
-
-
+
+
+
+
+
-
-
-
-
-
+
+
+
+
+
@@ -94,4 +97,26 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+