X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fobjcontent.xsl;h=405529785fea3c6db83485369e4eb5837a11f832;hb=956b8e8dbccedb7d66ce37c4b21eb82281443f5a;hp=5b375084b970625caa0438663a7dc1040d1982ba;hpb=ddce32beebecf9d965e6ad991a08368f52cd9ea1;p=helm.git
diff --git a/helm/style/objcontent.xsl b/helm/style/objcontent.xsl
index 5b375084b..405529785 100644
--- a/helm/style/objcontent.xsl
+++ b/helm/style/objcontent.xsl
@@ -52,6 +52,51 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -61,6 +106,9 @@
+
+
+
@@ -70,11 +118,13 @@
-
+
-
+
+
+
-
-
-
+
-
+
-
-
+
+
-
+
+
+
+
+
+
-
+
-
+
+
-
+
-
+
-
+
+
+
+
@@ -127,7 +184,7 @@
-
+