X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fon-line%2Fxslt%2Fls2theory.xsl;h=86eb208495c6ab7732e7202780a24f62c621edde;hb=aa0d60227b785da3355b31519ba11cb4fbd2c925;hp=5d5186532379c3c62b07b388847a509327e5d48b;hpb=3c50ba458692e3dd7a00ce595d53d647227d9848;p=helm.git
diff --git a/helm/on-line/xslt/ls2theory.xsl b/helm/on-line/xslt/ls2theory.xsl
index 5d5186532..86eb20849 100644
--- a/helm/on-line/xslt/ls2theory.xsl
+++ b/helm/on-line/xslt/ls2theory.xsl
@@ -39,15 +39,12 @@
-
+
-
-
+ select="object[not(substring-after(@name,'.')='theory')]" >
+
+