web site update

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

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index e7c85c8295e617dc7039f3513a8bccd28b62c49b..5dcb73a7735546f72d13877e925c994d0013b5a9 100644 (file)
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -138,16 +138,16 @@
     <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>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
-      The main source of information is <span class="emph alpha">J2a</span>.
+      The main source of information is <span class="emph alpha">R2c</span>.
    </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       <table cellpadding="4" cellspacing="0">
         <tbody>
           <tr>
-            <td class="snns top" id="ldJ2a">
-              <span class="emph alpha">J2a.</span>
+            <td class="snns top" id="ldR2c">
+              <span class="emph alpha">R2c.</span>
             </td>
-            <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/download/basic2a.pdf">The Formal System λδ Revised, Stage A: Extending the Applicability Condition</a> (<span class="emph gamma">2014-11</span>). Preprint. CoRR identifier <a href="http://arxiv.org/abs/1411.0154">1411.0154</a> [v2] (revised <span class="emph gamma">2015-03</span>). <a href="http://lambdadelta.info/documentation.html#bibtex">BibTeX entry</a>.</td>
+            <td class="ssnn top">F. Guidi: <a href="http://amsacta.unibo.it/4411/">Extending the Applicability Condition in the Formal System λδ</a> (<span class="emph gamma">2015-03</span>). University of Bologna, technical report AMS Acta 4411. <a href="http://lambdadelta.info/documentation.html#bibtex">BibTeX entry</a>.</td>
           </tr>
           <tr>
             <td class="nnns top" />
@@ -216,10 +216,10 @@
             </td>
           </tr>
           <tr>
-            <td class="snns top" id="ldV2">
-              <span class="emph alpha">V2.</span>
+            <td class="snns top" id="ldV2a">
+              <span class="emph alpha">V2a.</span>
             </td>
-            <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/version_2.html">lambdadelta_2</a> (revised <span class="emph gamma">2014-10</span>). Formal specification for the proof assistant Matita 0.99.2 (scripts). <a href="http://lambdadelta.info/documentation.html#bibtex">BibTeX entry</a>.</td>
+            <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/version_2.html">lambdadelta_2A1</a> (revised <span class="emph gamma">2014-10</span>). Formal specification for the proof assistant Matita 0.99.2 (scripts). <a href="http://lambdadelta.info/documentation.html#bibtex">BibTeX entry</a>.</td>
           </tr>
           <tr>
             <td class="nnss top" />
@@ -233,15 +233,15 @@
     <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>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
-      The main source of information is <span class="emph alpha">J1</span>.
+      The main source of information is <span class="emph alpha">J1a</span>.
       A summary is available in <span class="emph alpha">P1e</span>.
    </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       <table cellpadding="4" cellspacing="0">
         <tbody>
           <tr>
-            <td class="snns top" id="ldJ1">
-              <span class="emph alpha">J1.</span>
+            <td class="snns top" id="ldJ1a">
+              <span class="emph alpha">J1a.</span>
             </td>
             <td class="ssnn top">F. Guidi: <a href="http://doi.acm.org/10.1145/1614431.1614436">The Formal System λδ</a> (<span class="emph delta">2009-11</span>). In ACM ToCL 11(1), pp. 5:1-5:37 online app. pp. 1-11 (<a href="http://tocl.acm.org/accepted/335guidi.pdf">accepted</a>
               <span class="emph delta">2008-07</span>). CoRR identifier <a href="http://arxiv.org/abs/cs/0611040">cs/0611040</a> [v10] (revised <span class="emph delta">2008-09</span>). <a href="http://lambdadelta.info/documentation.html#bibtex">BibTeX entry</a>.</td>
@@ -349,8 +349,8 @@
             </td>
           </tr>
           <tr>
-            <td class="snns top" id="ldV1">
-              <span class="emph alpha">V1.</span>
+            <td class="snns top" id="ldV1a">
+              <span class="emph alpha">V1a.</span>
             </td>
             <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/version_1.html">lambdadelta_1</a> (revised <span class="emph delta">2015-01</span>). Formal specification for the proof assistant Coq 7.3.1 (scripts). <a href="http://lambdadelta.info/documentation.html#bibtex">BibTeX entry</a>.</td>
           </tr>
@@ -389,6 +389,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 11 Oct 2015 17:42:23 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 10 Dec 2015 16:13:46 +0100</div>
   </body>
 </html>