X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fannotatedcont.xsl;h=2f5fa84e628da3c980cb8ac1d4719c50bbdd889b;hb=4d60b73b5381a326afe3fe6a095dbe9dba68ed64;hp=e97d08f2be48eba80abf8c93fea3a816631272b8;hpb=aa87f28d3a96456e7cec9493c6533e5c146812e8;p=helm.git
diff --git a/helm/style/annotatedcont.xsl b/helm/style/annotatedcont.xsl
index e97d08f2b..2f5fa84e6 100644
--- a/helm/style/annotatedcont.xsl
+++ b/helm/style/annotatedcont.xsl
@@ -1,5 +1,29 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -11,15 +35,14 @@
-
-
-
+
-
+
+
-
+
-
+
@@ -28,11 +51,12 @@
-
+
+
-
+
-
+
@@ -43,16 +67,19 @@
-
-
+
+
+
+
+
-
-
-
-
-
+
+
+
+
+
@@ -70,4 +97,26 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+