X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fobjcontent.xsl;h=405529785fea3c6db83485369e4eb5837a11f832;hb=956b8e8dbccedb7d66ce37c4b21eb82281443f5a;hp=9cf2ca7f9fb5b4437345c57cd300355039460b8b;hpb=b72beb68cf0c34cb0785ad7e2a4c426494e29e6a;p=helm.git diff --git a/helm/style/objcontent.xsl b/helm/style/objcontent.xsl index 9cf2ca7f9..405529785 100644 --- a/helm/style/objcontent.xsl +++ b/helm/style/objcontent.xsl @@ -158,7 +158,9 @@ - + + + @@ -169,7 +171,7 @@

- +

@@ -181,6 +183,9 @@ + + +