X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2FBTM.html;h=32ce9bad02a5de05c709f7d278f622377b608528;hb=2c4b4aaa6f1490346823a26cba5dd965cab0cd02;hp=9050909b225b1cb6c211f003b53b1be2fa73c0cb;hpb=68b5af5ca8f1e7f98485b92692b3dcb1ae240d19;p=helm.git

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index 9050909b2..32ce9bad0 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: Wed, 24 Dec 2014 22:58:52 +0100</div>
-</body>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 05 Jan 2015 00:32:03 +0100</div>
+  </body>
 </html>