X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2FmetadataLib.xsl;h=8b0f34e8254998c460a4f895b7342588c5e236f3;hb=0e25ed1f31b0dd197638e5d212f65d6055656e79;hp=f264516b2c72a18c366abe4d0c9258fa8331ddb0;hpb=40aaf8dcb5f4251186d6b4380ded7cf50ffd5345;p=helm.git diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl index f264516b2..8b0f34e82 100644 --- a/helm/on-line/xslt/metadataLib.xsl +++ b/helm/on-line/xslt/metadataLib.xsl @@ -6,6 +6,11 @@ + + + + + @@ -13,47 +18,70 @@ + + Metadata of <xsl:value-of select="$CICURI"/> - -

Metadata of

+ + - + + - - - - - - - - -

- Object is never referenced in other objects -

- + + +

+ +

+

+ +

+ + +

+ Object is never referenced in other objects +

+ + - - - -

- -

+ +

+ + +

+ Object does not reference any other object +

+ +