From 87ad71faeb3f544a3a21b2b57a589fc55543bae6 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 31 May 2004 11:23:48 +0000
Subject: [PATCH] Ordering is now done in no-case style.

---
 helm/on-line/xslt/ls2theory.xsl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/on-line/xslt/ls2theory.xsl b/helm/on-line/xslt/ls2theory.xsl
index 5d5186532..fe7727dd4 100644
--- 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')]" />
-- 
2.39.2