]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/xml/ld-html-root.xsl
we can now generate static html pages about crg terms
[helm.git] / helm / software / lambda-delta / xml / ld-html-root.xsl
index 1c74233978a524f00443d288b4cb3ccbcaa811d7..4a525a74297bdbac9da304f42d55affbc09dc772 100644 (file)
@@ -30,7 +30,7 @@
              alt="[lambda-delta home]" title="lambda-delta home"
              src="http://helm.cs.unibo.it/lambda-delta/download/crux-32.png"
         /></a>
-        <h1>λδ Digital Library (LDDL)</h1>
+        <h1><xsl:call-template name="ld"/> Digital Library (LDDL)</h1>
         <img style="width: 95%; height: 4px;"
              alt="[Separator]" title="Separator"
              src="http://helm.cs.unibo.it/lambda-delta/download/rainbow.png"