X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fspecification.html;h=41de394776bcc844420082b9933e428e56a0f042;hb=f7d7f2459b3b0409be5f168822be3b836ccc929b;hp=7b2a58987c53743ab764f2f5604fc0c019812c79;hpb=ede1e31f13510c51d42d7b0448d3cbff132ec70c;p=helm.git

diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index 7b2a58987..41de39477 100644
--- a/helm/www/lambdadelta/specification.html
+++ b/helm/www/lambdadelta/specification.html
@@ -135,6 +135,21 @@
             <td class="snnn top capitalize italic gray">concluded</td>
             <td class="ssnn top capitalize italic gray">references</td>
           </tr>
+          <tr>
+            <td class="snns top yellow">
+              <a href="http://lambdadelta.info/specification.html#v3">Version 3</a>
+            </td>
+            <td class="snnn top yellow">"basic_3"</td>
+            <td class="snnn top yellow" />
+            <td class="snnn top yellow" />
+            <td class="snnn top yellow" />
+            <td class="snnn top yellow" />
+            <td class="snnn top yellow" />
+            <td class="snnn top yellow" />
+            <td class="ssnn top yellow">
+              <a href="http://lambdadelta.info/documentation#ldJ3a">J3a</a>
+            </td>
+          </tr>
           <tr>
             <td class="snns top orange">
               <a href="http://lambdadelta.info/specification.html#v2">Version 2</a>
@@ -228,6 +243,13 @@
       introduced in each script, is shown in parentheses (? are placeholders).
    </li>
     </ul>
+    <!-- VERSION 3 =========================================================== -->
+    <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v3">
+      <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b8.png" /> λδ version 3 (proposed)</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="text">
+      The formal specification of λδ version 3
+      is forthcoming.
+   </div>
     <!-- VERSION 2 =========================================================== -->
     <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v2">
       <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b4.png" /> λδ version 2 (active)</div>
@@ -360,6 +382,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 30 Dec 2015 14:54:53 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 01 Apr 2016 23:30:52 +0200</div>
   </body>
 </html>