ocaml 3.09 transition

[helm.git] / helm / on-line / xslt / ls2theory.xsl
diff --git a/helm/on-line/xslt/ls2theory.xsl b/helm/on-line/xslt/ls2theory.xsl

index 5e221bd07f0b8472d18ecb368194f678f556632c..86eb208495c6ab7732e7202780a24f62c621edde 100644 (file)
--- a/helm/on-line/xslt/ls2theory.xsl
+++ b/helm/on-line/xslt/ls2theory.xsl
@@ -27,12 +27,24 @@
             list-style-image:
               url(<xsl:value-of select="$interfaceURL"/>/icons/object.png)
           }
+         a.theory { text-decoration: none; }
+         a.folder { text-decoration: none; }
+         a.object { text-decoration: none; }
         </style>
        </head>
        <body>
         <ul>
-         <xsl:apply-templates select="section" />
-         <xsl:apply-templates select="object" />
+          <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' and
+                    not(@name='index.theory')]">
+           <xsl:sort select="translate(concat(@name,string(.)),'abcdefghijklmnopqrstuvwxyz','ABCDEFGHIJKLMNOPQRSTUVWXYZ')" />
+         </xsl:apply-templates>
+         <xsl:apply-templates
+           select="object[not(substring-after(@name,'.')='theory')]" >
+           <xsl:sort select="translate(concat(@name,string(.)),'abcdefghijklmnopqrstuvwxyz','ABCDEFGHIJKLMNOPQRSTUVWXYZ')" />
+          </xsl:apply-templates>
         </ul>
        </body>
      </html>