milestone in basic_2

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

index 30791b955c45d0991040aca6cdc7550db9ce6bd5..e5bc95841721570ad464144d8d8d8466d21faa57 100644 (file)
--- a/helm/www/lambdadelta/BTM.html
+++ b/helm/www/lambdadelta/BTM.html
@@ -16,18 +16,18 @@
    <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
+    <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
           are distributed in the four classes.
     </div>
-   <div xmlns:ld="http://lambdadelta.info/" class="text">
+    <div xmlns:ld="http://lambdadelta.info/" class="text">
        <table cellpadding="4" cellspacing="0">
          <tbody>
            <tr>
@@ -196,9 +196,8 @@
          </tbody>
        </table>
      </div>
-
-   <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+    <div class="spacer">
+      <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 />
@@ -223,6 +222,6 @@
      <div xmlns:ld="http://lambdadelta.info/" class="spacer">
        <br />
      </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 07 Aug 2014 19:13:43 +0200</div>
-</body>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 16 Apr 2017 15:42:50 +0200</div>
+  </body>
  </html>