X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=daemons%2Fon-line%2Fxslt%2Fls2theory.xsl;h=3e9e4abec3d4f48100b4bd15f4664abea74c352f;hb=48526d6bd0503d52d1ab5bd284b7ac49be92be29;hp=86eb208495c6ab7732e7202780a24f62c621edde;hpb=e4633c8734ded3d203fb292aec78d614a8b70ed7;p=helm.git
diff --git a/daemons/on-line/xslt/ls2theory.xsl b/daemons/on-line/xslt/ls2theory.xsl
index 86eb20849..3e9e4abec 100644
--- a/daemons/on-line/xslt/ls2theory.xsl
+++ b/daemons/on-line/xslt/ls2theory.xsl
@@ -6,7 +6,7 @@
xmlns="http://www.w3.org/1999/xhtml"
>
-