X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web.xsl;h=61c64b8fb0b34a8b939f52524377fb1d560eb313;hb=47a745462a714af9d65cea7b61af56524bd98fa1;hp=288973806cb001899b188388bd0a1a9c7ecf8c94;hpb=2a5e0b799cd6aae5d920c67a5ddc9d9888cf7e80;p=helm.git
diff --git a/helm/www/lambdadelta/xslt/ld_web.xsl b/helm/www/lambdadelta/xslt/ld_web.xsl
index 288973806..61c64b8fb 100644
--- a/helm/www/lambdadelta/xslt/ld_web.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web.xsl
@@ -5,8 +5,12 @@
>
+
+
+
+
@@ -15,7 +19,6 @@
doctype-public="-//W3C//DTD XHTML 1.1//EN"
doctype-system="http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"
encoding="UTF-8"
- indent="yes"
/>