From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 31 May 2004 11:23:48 +0000 (+0000)
Subject: Ordering is now done in no-case style.
X-Git-Tag: pre_subst_in_kernel~44
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=87ad71faeb3f544a3a21b2b57a589fc55543bae6;p=helm.git

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 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')]" />