]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/xslt/xslt_index.txt
Major interface upgrade still going on. But we are approaching the end of the
[helm.git] / helm / on-line / xslt / xslt_index.txt
index 7d1abeb38276cc04967c6e9264b420e7336c9d9d..3b62468395838942a18019bce55482858686d163 100644 (file)
@@ -5,5 +5,6 @@ makeGraphLinks.xsl
 metadataControl.xsl
 metadataLib.xsl
 resolve_topurl.xsl
+substKey.xsl
 toplevel_header.xsl
 utils.xsl