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 fe7727dd468f3e0181c23e8d66b0559a135767d1..86eb208495c6ab7732e7202780a24f62c621edde 100644 (file)
--- a/helm/on-line/xslt/ls2theory.xsl
+++ b/helm/on-line/xslt/ls2theory.xsl
@@ -42,12 +42,9 @@
            <xsl:sort select="translate(concat(@name,string(.)),'abcdefghijklmnopqrstuvwxyz','ABCDEFGHIJKLMNOPQRSTUVWXYZ')" />
          </xsl:apply-templates>
          <xsl:apply-templates
-           select="object[not(substring-after(@name,'.')='theory')]" />
-         <!-- sorting: folders, theories, objects -->
-<!--
-         <xsl:apply-templates select="section" />
-         <xsl:apply-templates select="object" />
--->
+           select="object[not(substring-after(@name,'.')='theory')]" >
+           <xsl:sort select="translate(concat(@name,string(.)),'abcdefghijklmnopqrstuvwxyz','ABCDEFGHIJKLMNOPQRSTUVWXYZ')" />
+          </xsl:apply-templates>
        </ul>
       </body>
     </html>