Ordering is now done in no-case style.

diff --git a/helm/on-line/xslt/ls2theory.xsl b/helm/on-line/xslt/ls2theory.xsl
index 5d5186532379c3c62b07b388847a509327e5d48b..fe7727dd468f3e0181c23e8d66b0559a135767d1 100644 (file)
--- a/helm/on-line/xslt/ls2theory.xsl
+++ b/helm/on-line/xslt/ls2theory.xsl
@@ -39,7 +39,7 @@
          <xsl:apply-templates
            select="section|object[substring-after(@name,'.')='theory' and
                     not(@name='index.theory')]">
-           <xsl:sort select="concat(@name,string(.))" />
+           <xsl:sort select="translate(concat(@name,string(.)),'abcdefghijklmnopqrstuvwxyz','ABCDEFGHIJKLMNOPQRSTUVWXYZ')" />
          </xsl:apply-templates>
          <xsl:apply-templates
            select="object[not(substring-after(@name,'.')='theory')]" />