X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2FBTM.html;h=32ce9bad02a5de05c709f7d278f622377b608528;hb=2c4b4aaa6f1490346823a26cba5dd965cab0cd02;hp=5aa0c9540595ca34b0a3a7852622001b21b6e195;hpb=f46a888221e68830773251aa134f3da13c5b9e3c;p=helm.git

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index 5aa0c9540..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, 10 Sep 2014 14:46:05 +0200</div>
-</body>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 05 Jan 2015 00:32:03 +0100</div>
+  </body>
 </html>