X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fon-line%2Fxslt%2FmetadataLib.xsl;h=bd9b84524224ba0f45124a6c9d33f2f852034567;hb=bb236c2ac110124de92fa2d0fb2882d273a7f7eb;hp=a8c8540cbba58eb5aabd6bcd33be74944644cb65;hpb=228e3b7670f6f63e864f0f71659fdc74b6b3e111;p=helm.git diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl index a8c8540cb..bd9b84524 100644 --- a/helm/on-line/xslt/metadataLib.xsl +++ b/helm/on-line/xslt/metadataLib.xsl @@ -6,19 +6,20 @@ + + - - - - + + + @@ -31,12 +32,12 @@ Metadata of <xsl:value-of select="$CICURI"/> - + + + + + +

Metadata of

@@ -54,29 +55,37 @@ - + + + + + - +

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

@@ -87,14 +96,17 @@ - +

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