the newly generated web pages ...

[helm.git] / helm / www / lambdadelta / BTM.html
diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html

index 7f46bd1ef5c5131e78f474ab94b943fc53986aea..ab086fb0740cca03a40ec90c8d9ffe21228e685e 100644 (file)
--- a/helm/www/lambdadelta/BTM.html
+++ b/helm/www/lambdadelta/BTM.html
@@ -16,12 +16,12 @@
    <body lang="en-US">
      <div class="spacer">
        <a href="http://lambdadelta.info/">
-        <img class="icon32" alt="[lambdadelta home]" title="lambdadelta home" src="http://lambdadelta.info/images/crux_32.png" />
+        <img class="icon32" alt="[\lambda\delta home]" title="\lambda\delta home" src="http://lambdadelta.info/images/crux_32.png" />
        </a>
      </div>
      <div class="head1">cic:/matita/BTM/</div>
      <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <img class="rule" alt="[Spacer]" title="\lambda\delta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
      </div>
      <div xmlns:ld="http://lambdadelta.info/" class="head2sn" id="">Character classes</div>
      <div xmlns:ld="http://lambdadelta.info/" class="text">This table shows how the first 45 positive integers
@@ -197,7 +197,7 @@
        </table>
      </div>
      <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <img class="rule" alt="[Spacer]" title="\lambda\delta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
      </div>
      <div xmlns:ld="http://lambdadelta.info/" class="spacer">
        <br />
@@ -222,6 +222,6 @@
      <div xmlns:ld="http://lambdadelta.info/" class="spacer">
        <br />
      </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 01 Apr 2016 23:30:52 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 07 Apr 2016 15:45:51 +0200</div>
    </body>
  </html>