helena: warning removed and modifications for λΥP exportation

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

index 32ce9bad02a5de05c709f7d278f622377b608528..d19919f1553241a3e8c4d911d0c40d9139bd3757 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: Mon, 05 Jan 2015 00:32:03 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 24 Nov 2017 21:00:01 +0100</div>
    </body>
  </html>