- notational change for cpg and cpx

[helm.git] / helm / www / lambdadelta / specification.html

diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index 9c941d31c3913dc2388a159898f2c63eec24aa45..f1c9fb06e51b87920ee767e926e07773f56daf11 100644 (file)
--- a/helm/www/lambdadelta/specification.html
+++ b/helm/www/lambdadelta/specification.html
@@ -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>
@@ -382,6 +378,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 21 May 2016 22:22:39 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 22 May 2016 11:12:18 +0200</div>
   </body>
 </html>