From 3c50ba458692e3dd7a00ce595d53d647227d9848 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Sun, 30 May 2004 22:10:00 +0000 Subject: [PATCH] The theory index.theory, if present, is shown at the beginning of the listing. --- helm/on-line/xslt/ls2theory.xsl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/helm/on-line/xslt/ls2theory.xsl b/helm/on-line/xslt/ls2theory.xsl index 6ecf56986..5d5186532 100644 --- a/helm/on-line/xslt/ls2theory.xsl +++ b/helm/on-line/xslt/ls2theory.xsl @@ -34,9 +34,11 @@

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