X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fxslt%2Flddl_root.xsl;h=251b9cee8c60e19dceeeffae14d7e8fe581a525f;hb=de392360825733c1c865d748f7711f34bfc027f3;hp=c4cf27cd8a1a1307987870e16bdd152d42f912aa;hpb=ae47e671a2e5b1c6498e62e0fd8703cea7ba53b2;p=helm.git

diff --git a/helm/www/lambda_delta/xslt/lddl_root.xsl b/helm/www/lambda_delta/xslt/lddl_root.xsl
index c4cf27cd8..251b9cee8 100644
--- a/helm/www/lambda_delta/xslt/lddl_root.xsl
+++ b/helm/www/lambda_delta/xslt/lddl_root.xsl
@@ -12,7 +12,8 @@
       V_______________________________________________________________ -->
 
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
-                              xmlns="http://www.w3.org/1999/xhtml"
+                              xmlns:ld="http://lambda-delta.info"
+			      xmlns="http://www.w3.org/1999/xhtml"
 >
 
 <xsl:strip-space elements="ENTITY"/>
@@ -93,7 +94,7 @@
    </body></html>
 </xsl:template>
 
-<xsl:template match="ENTITY">
+<xsl:template match="ld:ENTITY">
    <xsl:apply-templates/>
    <div class="text">
       <xsl:call-template name="vpars"/>