X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambda_delta%2Findex.html;fp=helm%2Fwww%2Flambda_delta%2Findex.html;h=1983a540130e7824842ac3958f0a3627487984bf;hb=9b925454b8e2fe77916f02f5b81641bdbf8344fc;hp=9c266a31e557610c2b8456add221d077d31ac30e;hpb=99b0ce02ca6c016981b902574870ee9a74f9b60f;p=helm.git

diff --git a/helm/www/lambda_delta/index.html b/helm/www/lambda_delta/index.html
index 9c266a31e..1983a5401 100644
--- a/helm/www/lambda_delta/index.html
+++ b/helm/www/lambda_delta/index.html
@@ -71,6 +71,74 @@ decidability of type inference and of type checking come as corollaries.<br>
 mechanism, so the calculus can serve as a formal specification language
 for the type theories that need a predicative foundation. λδ is
 expected to have the expressive power of λ→.<br>
+      <br>
+λδ comes in several versions listed in the following table, which
+includes the major milestones:<br>
+      <br>
+      <table style="text-align: left; width: 100%;" border="1"
+ cellpadding="2" cellspacing="0">
+        <tbody>
+          <tr>
+            <td
+ style="vertical-align: top; background-color: rgb(223, 223, 223); text-align: center;">Version<br>
+            </td>
+            <td
+ style="vertical-align: top; background-color: rgb(223, 223, 223); text-align: center;">Name<br>
+            </td>
+            <td
+ style="vertical-align: top; background-color: rgb(223, 223, 223); text-align: center;">Started<br>
+            </td>
+            <td
+ style="vertical-align: top; background-color: rgb(223, 223, 223); text-align: center;">Released<br>
+            </td>
+            <td
+ style="vertical-align: top; background-color: rgb(223, 223, 223); text-align: center;">Closed<br>
+            </td>
+          </tr>
+          <tr>
+            <td
+ style="vertical-align: top; background-color: rgb(255, 223, 191);">2<br>
+            </td>
+            <td
+ style="vertical-align: top; background-color: rgb(255, 223, 191);">basic_2<br>
+            </td>
+            <td
+ style="vertical-align: top; background-color: rgb(255, 223, 191);">April
+2011<br>
+            </td>
+            <td
+ style="vertical-align: top; background-color: rgb(255, 223, 191);">Planned
+in
+2013<br>
+            </td>
+            <td
+ style="vertical-align: top; background-color: rgb(255, 223, 191);">Not
+planned yet<br>
+            </td>
+          </tr>
+          <tr>
+            <td
+ style="vertical-align: top; background-color: rgb(255, 191, 191);">1<br>
+            </td>
+            <td
+ style="vertical-align: top; background-color: rgb(255, 191, 191);">basic_1<br>
+            </td>
+            <td
+ style="vertical-align: top; background-color: rgb(255, 191, 191);">May
+2004<br>
+            </td>
+            <td
+ style="vertical-align: top; background-color: rgb(255, 191, 191);">November
+2006<br>
+            </td>
+            <td
+ style="vertical-align: top; background-color: rgb(255, 191, 191);">May
+2008<br>
+            </td>
+          </tr>
+        </tbody>
+      </table>
+      <br>
       <h3 style="text-align: right;">Notice
 for
 the
@@ -83,8 +151,9 @@ correctly, please select a font with <a href="http://www.unicode.org/">Unicode</
 support.
 For example <span style="font-weight: bold;">Lucida Sans Unicode</span>
 (it should be already installed on your system).
-To change the current font follow:
-      <span style="font-weight: bold;">"Tools" menu → "Internet
+To change the current font follow: <span style="font-weight: bold;">"Tools"
+menu
+→ "Internet
 Options" entry → "General" tab → "Fonts" button.</span><br>
       </td>
     </tr>
@@ -101,10 +170,9 @@ Options" entry → "General" tab → "Fonts" button.</span><br>
  src="download/globe_trans.png"
  style="border: 0px solid ; width: 147px; height: 42px;"></a> <img
  style="width: 88px; height: 31px;" alt="[PNG Used Here]"
- title="PNG Used Here"
- src="download/PNGnow2.png"><br>
+ title="PNG Used Here" src="download/PNGnow2.png"><br>
 <br>
-Last update 2011-09-09 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
+Last update 2012-11-20 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
 Guidi</a><br>
 </div>
 </body>