X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2Fls2theory.xsl;h=86eb208495c6ab7732e7202780a24f62c621edde;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=5d5186532379c3c62b07b388847a509327e5d48b;hpb=3c50ba458692e3dd7a00ce595d53d647227d9848;p=helm.git

diff --git a/helm/on-line/xslt/ls2theory.xsl b/helm/on-line/xslt/ls2theory.xsl
index 5d5186532..86eb20849 100644
--- a/helm/on-line/xslt/ls2theory.xsl
+++ b/helm/on-line/xslt/ls2theory.xsl
@@ -39,15 +39,12 @@
 	  <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')]" />
-	  <!-- 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>