X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fstyle%2Fobjcontent.xsl;h=b9f77cb82700afbf9cddabcb7b7669b59d3532a8;hb=fb158d51c621e55962a6139d03cd1678cfb2e8f1;hp=112e73ab1255103e94bd414c86b27a9cb31e7208;hpb=039f58232964e627868ec21f7c1e64c843204c75;p=helm.git
diff --git a/helm/style/objcontent.xsl b/helm/style/objcontent.xsl
index 112e73ab1..b9f77cb82 100644
--- a/helm/style/objcontent.xsl
+++ b/helm/style/objcontent.xsl
@@ -1,5 +1,29 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -20,9 +44,11 @@