X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fon-line%2Fxslt%2FmetadataLib.xsl;h=4e3271638d97cb7459ac24e1641105497f99509a;hb=95ba1a3239f9f4416e4e7361888d1f0559f17554;hp=bb7346196c67c95a6808253094f036feac2edd75;hpb=4efbf579e9692e25b08b4f363356d52292c2bd97;p=helm.git diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl index bb7346196..4e3271638 100644 --- a/helm/on-line/xslt/metadataLib.xsl +++ b/helm/on-line/xslt/metadataLib.xsl @@ -24,27 +24,15 @@ - - - - - Metadata of <xsl:value-of select="$CICURI"/> - + + + + + - -
- Number of nodes to show when following an hyperlink to a graph: - (30 suggested) -
- @@ -52,62 +40,4 @@ - - - - - - - - - - - - - - - - -

- -

-

- -

- - -

- Object is never referenced in other objects -

- - - - - -

- - -

- - -

- Object does not reference any other object -

- - - -