]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/xslt/lddl_library.xsl
bug fix in xslt: missing ld namespace
[helm.git] / helm / www / lambda_delta / xslt / lddl_library.xsl
index c7914ed643cda0a9e31b6e408a2757892a5f6aa2..8af7006a3647288519685d4dca01f2d248dec003 100644 (file)
@@ -12,6 +12,7 @@
       V_______________________________________________________________ -->
 
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+                              xmlns:ld="http://lambda-delta.info"
                               xmlns="http://www.w3.org/1999/xhtml"
 >