]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: eac2033)
The theory index.theory, if present, is shown at the beginning of the
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 30 May 2004 22:10:00 +0000 (22:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 30 May 2004 22:10:00 +0000 (22:10 +0000)
listing.

helm/on-line/xslt/ls2theory.xsl patch | blob | history

diff --git a/helm/on-line/xslt/ls2theory.xsl b/helm/on-line/xslt/ls2theory.xsl
index 6ecf569865bb071ac6064aca39834f7305225d0a..5d5186532379c3c62b07b388847a509327e5d48b 100644 (file)
--- a/helm/on-line/xslt/ls2theory.xsl
+++ b/helm/on-line/xslt/ls2theory.xsl
@@ -34,9 +34,11 @@
       </head>
       <body>
        <ul>
+          <xsl:apply-templates select="object[@name='index.theory']"/>
          <!-- sorting: folders interleaved with theories, then objects-->
          <xsl:apply-templates
-           select="section|object[substring-after(@name,'.')='theory']">
+           select="section|object[substring-after(@name,'.')='theory' and
+                    not(@name='index.theory')]">
            <xsl:sort select="concat(@name,string(.))" />
          </xsl:apply-templates>
          <xsl:apply-templates
Unnamed repository; edit this file 'description' to name the repository.