X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web.xsl;h=61c64b8fb0b34a8b939f52524377fb1d560eb313;hb=9a0dc83131e9695ffd4254ff5546817ca431d8c2;hp=c5dc6b449ef19de68fcec38a7a94c27752e37688;hpb=2c4b4aaa6f1490346823a26cba5dd965cab0cd02;p=helm.git

diff --git a/helm/www/lambdadelta/xslt/ld_web.xsl b/helm/www/lambdadelta/xslt/ld_web.xsl
index c5dc6b449..61c64b8fb 100644
--- a/helm/www/lambdadelta/xslt/ld_web.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web.xsl
@@ -10,6 +10,7 @@
 <xsl:strip-space elements="*"/>
 
 <xsl:include href="xhtbl.xsl"/>
+<xsl:include href="ld_web_ebnf.xsl"/>
 <xsl:include href="ld_web_library.xsl"/>
 <xsl:include href="ld_web_root.xsl"/>