X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2FmetadataLib.xsl;h=bd9b84524224ba0f45124a6c9d33f2f852034567;hb=bb236c2ac110124de92fa2d0fb2882d273a7f7eb;hp=e807cc00f9e71b9c6c329334b3e7a24afbda7338;hpb=290e15f0b80ab1a9412fb63c51d3c0f317f9eafa;p=helm.git diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl index e807cc00f..bd9b84524 100644 --- a/helm/on-line/xslt/metadataLib.xsl +++ b/helm/on-line/xslt/metadataLib.xsl @@ -5,18 +5,21 @@ xmlns:subst="http://www.cs.unibo.it/helm/subst"> + + + - - - + + + @@ -29,12 +32,12 @@ Metadata of <xsl:value-of select="$CICURI"/> - + + + + + +

Metadata of

@@ -42,6 +45,9 @@ (30 suggested)
+ + + @@ -49,29 +55,37 @@ - + + + + + - +

- + + + + + + + + + View the graph of all the objects depending on this one.

@@ -82,14 +96,17 @@ - +

- - + + + + + + + + + View the graph of all the dependencies of this object.