X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2FBTM.html;h=2756b021e17f39a01fae285bec1758ff2af58864;hb=85ba2f09d81f44b8c75505cc470f1fc5c431b9f2;hp=4784c537ce19ef235a549f07f7c30c00a5e623d5;hpb=7adeb2882d9841c0ab5b357f1652bd42800e77fc;p=helm.git

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index 4784c537c..2756b021e 100644
--- a/helm/www/lambdadelta/BTM.html
+++ b/helm/www/lambdadelta/BTM.html
@@ -23,11 +23,11 @@
     <div class="spacer">
       <img class="rule" alt="[Spacer]" title="lambdadelta 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,8 +196,7 @@
         </tbody>
       </table>
     </div>
-
-   <div class="spacer">
+    <div class="spacer">
       <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
@@ -223,6 +222,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 15 Sep 2014 16:17:55 +0200</div>
-</body>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 10 Dec 2015 16:13:46 +0100</div>
+  </body>
 </html>