X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2FmetadataLib.xsl;h=bb7346196c67c95a6808253094f036feac2edd75;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=e3d2493211cb1ea47ec7c3cecd765d382e9fd257;hpb=0fa41b365811c040a0aeb39e3ea217754f88decb;p=helm.git diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl index e3d249321..bb7346196 100644 --- a/helm/on-line/xslt/metadataLib.xsl +++ b/helm/on-line/xslt/metadataLib.xsl @@ -4,11 +4,22 @@ xmlns:xsl="http://www.w3.org/1999/XSL/Transform" xmlns:subst="http://www.cs.unibo.it/helm/subst"> + + + + + + + + + - + + + @@ -16,93 +27,87 @@ + + Metadata of <xsl:value-of select="$CICURI"/> -

Metadata of

+ + +
+ Number of nodes to show when following an hyperlink to a graph: + (30 suggested) +
+ + + +
- + - - - - - - - - - - - -

- Object is never referenced in other objects -

- - - -
- - - - - -

- -

-

- +

+

+ -

- - - -
+ +

+ + +

+ Object is never referenced in other objects +

+
+ - - -

- -

+ +

+ + +

+ Object does not reference any other object +

+
+