X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2FmetadataLib.xsl;h=bb7346196c67c95a6808253094f036feac2edd75;hb=4efbf579e9692e25b08b4f363356d52292c2bd97;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..bb7346196 100644
--- a/helm/on-line/xslt/metadataLib.xsl
+++ b/helm/on-line/xslt/metadataLib.xsl
@@ -4,8 +4,22 @@
xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
xmlns:subst="http://www.cs.unibo.it/helm/subst">
+
- Object
+
+
+
+
+ Object
-
- Metadata of
+
+
+ Object