From e031525a04d0f5ab2a729bec6c1f196a3ec7deab Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 3 Jun 2004 11:52:45 +0000
Subject: [PATCH] Objects ordering is now case-insensite.

---
 helm/on-line/xslt/ls2theory.xsl | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/helm/on-line/xslt/ls2theory.xsl b/helm/on-line/xslt/ls2theory.xsl
index fe7727dd4..86eb20849 100644
--- 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>
-- 
2.39.2