X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_library.xsl;fp=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_library.xsl;h=fb76831dc8510dd4792523c85b7200c11a90442a;hb=58e83e119ca3829affae2851cd512748131a766b;hp=0a497c7b0b29e6775edbc8ff0867596b8ce78ef8;hpb=9bd08cc6b9a70d2664232ad8ca4726329da12861;p=helm.git

diff --git a/helm/www/lambdadelta/xslt/ld_web_library.xsl b/helm/www/lambdadelta/xslt/ld_web_library.xsl
index 0a497c7b0..fb76831dc 100644
--- a/helm/www/lambdadelta/xslt/ld_web_library.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_library.xsl
@@ -9,8 +9,8 @@
    <div class="spacer">
       <a href="{$baseurl}">
          <img class="icon32"
-	      alt="[lambdadelta home]"
-	      title="lambdadelta home"
+	      alt="[\lambda\delta home]"
+	      title="\lambda\delta home"
 	      src="{$baseurl}images/crux_32.png"
          />
       </a>
@@ -21,7 +21,7 @@
    <div class="spacer">
       <img class="rule"
            alt="[Spacer]"
-	   title="lambdadelta rainbow rule"
+	   title="\lambda\delta rainbow rule"
            src="{$baseurl}images/rainbow.png"
       />
    </div>
@@ -31,7 +31,7 @@
    <xsl:param name="name"/>
    <img class="icon37"
       alt="[spacer]"
-      title="lambdadelta butterfly"
+      title="\lambda\delta butterfly"
       src="{$baseurl}images/b{$name}.png"
    />
 </xsl:template>
@@ -89,8 +89,8 @@
 <xsl:template name="helena">
    <a href="{$baseurl}implementation.html#helena">
       <img class="w3c"
-           alt="[Powered by Helena lambdadelta processor]"
-	   title="Powered by Helena lambdadelta processor"
+           alt="[Powered by Helena \lambda\delta processor]"
+	   title="Powered by Helena \lambda\delta processor"
 	   src="{$baseurl}images/helena_label.png"
       />
    </a>