X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2Fls2theory.xsl;h=86eb208495c6ab7732e7202780a24f62c621edde;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=6ecf569865bb071ac6064aca39834f7305225d0a;hpb=aacc5f566b60763bede71263cb9441b5b2fb04a1;p=helm.git diff --git a/helm/on-line/xslt/ls2theory.xsl b/helm/on-line/xslt/ls2theory.xsl index 6ecf56986..86eb20849 100644 --- a/helm/on-line/xslt/ls2theory.xsl +++ b/helm/on-line/xslt/ls2theory.xsl @@ -34,18 +34,17 @@

- + select="section|object[substring-after(@name,'.')='theory' and + not(@name='index.theory')]"> +

- - + select="object[not(substring-after(@name,'.')='theory')]" > + +