]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/specification.html
projects / helm.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
update in ground_2 and basic_2
[helm.git] / helm / www / lambdadelta / specification.html
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index 41de394776bcc844420082b9933e428e56a0f042..bf80be2e786a99114b46bca9c11885dcaa02602c 100644 (file)
--- a/helm/www/lambdadelta/specification.html
+++ b/helm/www/lambdadelta/specification.html
@@ -16,12 +16,12 @@
   <body lang="en-US">
     <div class="spacer">
       <a href="http://lambdadelta.info/">
-        <img class="icon32" alt="[lambdadelta home]" title="lambdadelta home" src="http://lambdadelta.info/images/crux_32.png" />
+        <img class="icon32" alt="[\lambda\delta home]" title="\lambda\delta home" src="http://lambdadelta.info/images/crux_32.png" />
       </a>
     </div>
     <div class="head1">The Formal Systems of the λδ (\lambda\delta) Family</div>
     <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <img class="rule" alt="[Spacer]" title="\lambda\delta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
@@ -73,9 +73,11 @@
               <a href="http://lambdadelta.info/documentation.html#v2">version 2</a>
             </td>
             <td class="snns capitalize green">
-              <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
+              <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
+            </td>
+            <td class="ssnn capitalize green">
+              <br />
             </td>
-            <td class="ssnn capitalize green">(<a href="http://lambdadelta.info/static/lddl/">static LDDL directory</a>)</td>
           </tr>
           <tr>
             <td class="snss capitalize sky">
@@ -93,16 +95,14 @@
               <a href="http://lambdadelta.info/documentation.html#v1">version 1</a>
             </td>
             <td class="snss capitalize green">
-              <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
-            </td>
-            <td class="sssn capitalize green">
-              <br />
+              <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
             </td>
+            <td class="sssn capitalize green">(<a href="http://lambdadelta.info/static/lddl/">static LDDL directory</a>)</td>
           </tr>
         </tbody>
       </table>
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="specifications">Computer-checked formal specifications <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b15.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="specifications">Computer-checked formal specifications <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b15.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       The systems of the λδ family are developed as machine-checked digital specifications,
@@ -127,8 +127,8 @@
           <tr>
             <td class="snns top capitalize italic gray">version</td>
             <td class="snnn top capitalize italic gray">name</td>
-            <td class="snnn top capitalize italic gray">developed with</td>
             <td class="snnn top capitalize italic gray">stage</td>
+            <td class="snnn top capitalize italic gray">developed with</td>
             <td class="snnn top capitalize italic gray">started</td>
             <td class="snnn top capitalize italic gray">announced</td>
             <td class="snnn top capitalize italic gray">released</td>
@@ -155,17 +155,15 @@
               <a href="http://lambdadelta.info/specification.html#v2">Version 2</a>
             </td>
             <td class="snnn top orange">"basic_2"</td>
+            <td class="snns top orange">"A2"</td>
             <td class="snnn top orange">
-              <a href="http://matita.cs.unibo.it/">Matita 0.99.2</a>
+              <a href="http://matita.cs.unibo.it/">Matita 0.99.3</a>
             </td>
-            <td class="snns top orange">"A2"</td>
             <td class="snnn top orange">October 2015</td>
             <td class="snnn top orange" />
             <td class="snnn top orange" />
             <td class="snnn top orange" />
-            <td class="ssnn top orange">
-              <br />
-            </td>
+            <td class="ssnn top orange" />
           </tr>
           <tr>
             <td class="nnns top orange">
@@ -174,10 +172,10 @@
             <td class="nnnn top orange">
               <br />
             </td>
-            <td class="nnnn top orange">
-              <br />
-            </td>
             <td class="snns top orange">"A1"</td>
+            <td class="snnn top orange">
+              <a href="http://matita.cs.unibo.it/">Matita 0.99.2</a>
+            </td>
             <td class="snnn top orange">April 2011</td>
             <td class="snnn top orange">June 2014</td>
             <td class="snnn top orange">October 2014</td>
@@ -190,27 +188,25 @@
           <tr>
             <td class="snns top orange">Abandoned</td>
             <td class="snnn top orange" />
+            <td class="snnn top orange" />
             <td class="snnn top orange">
               <a href="http://coq.inria.fr/">Coq 7.3.1</a>
             </td>
-            <td class="snnn top orange" />
             <td class="snnn top orange">March 2008</td>
             <td class="snnn top orange" />
             <td class="snnn top orange" />
             <td class="snnn top orange">February 2011</td>
-            <td class="ssnn top orange">
-              <br />
-            </td>
+            <td class="ssnn top orange" />
           </tr>
           <tr>
             <td class="snss top red">
               <a href="http://lambdadelta.info/specification.html#v1">Version 1</a>
             </td>
             <td class="snsn top red">"basic_1"</td>
+            <td class="snsn top red" />
             <td class="snsn top red">
               <a href="http://coq.inria.fr/">Coq 7.3.1</a>
             </td>
-            <td class="snsn top red" />
             <td class="snsn top red">May 2004</td>
             <td class="snsn top red">December 2005</td>
             <td class="snsn top red">November 2006</td>
@@ -245,14 +241,14 @@
     </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>
+      <img class="icon37" alt="[spacer]" title="\lambda\delta 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>
+      <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b4.png" /> λδ version 2 (active)</div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       The formal specification of λδ version 2
       is available in the following formats:
@@ -284,7 +280,7 @@
    </div>
     <!-- VERSION 1 =========================================================== -->
     <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v1">
-      <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b6.png" /> λδ version 1 (superseded)</div>
+      <img class="icon37" alt="[spacer]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b6.png" /> λδ version 1 (superseded)</div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       The formal specification of λδ version 1
       is available in the following formats:
@@ -357,7 +353,7 @@
       <a href="http://lambdadelta.info/basic_1.html">Core</a>.
    </div>
     <div class="spacer">
-      <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+      <img class="rule" alt="[Spacer]" title="\lambda\delta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
@@ -382,6 +378,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 01 Apr 2016 23:30:52 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 09 Jun 2016 16:46:47 +0200</div>
   </body>
 </html>
Unnamed repository; edit this file 'description' to name the repository.