updated bibliography for text J1

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index b84be907c731d3a5fd0896005feacfb9a445da0d..348231c61ce4c134530c25bb133493057a87adaf 100644 (file)
--- a/helm/www/lambdadelta/BTM.html
+++ b/helm/www/lambdadelta/BTM.html
@@ -222,6 +222,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 06 Mar 2015 16:17:54 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 06 Mar 2015 17:53:25 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index f169633b0d418c5cfd80bcba37ab2b9441dc3df7..4b2f19c27ebf2ed5f7870226f8a7f0ab7ad13dec 100644 (file)
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -258,6 +258,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 06 Mar 2015 16:17:54 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 06 Mar 2015 17:53:24 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html
index 87daf7e4141095d1860aea13ec292671e72bccad..3ca64b57cd02f441095857c59d7be6976f32cf4c 100644 (file)
--- a/helm/www/lambdadelta/basic_1.html
+++ b/helm/www/lambdadelta/basic_1.html
@@ -823,6 +823,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 06 Mar 2015 16:17:54 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 06 Mar 2015 17:53:25 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index d41e116cf2eac65bae2879d4cc92664f7a3dec76..3ab92f7d00d16fb9d75441d97ef771abd524b392 100644 (file)
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -1384,6 +1384,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 06 Mar 2015 16:17:54 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 06 Mar 2015 17:53:24 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index 2b367888d859482710e21085a7a6e2e9c54ed844..276f568ad7078f9ae160c7629aa5e328b09afd82 100644 (file)
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -243,7 +243,7 @@
             <td class="snns top" id="ldJ1">
               <span class="emph alpha">J1.</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 (<a href="http://tocl.acm.org/accepted/335guidi.pdf">accepted</a>
+            <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>
           </tr>
           <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: Fri, 06 Mar 2015 16:17:54 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 06 Mar 2015 17:53:24 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/download/lambdadelta.bib b/helm/www/lambdadelta/download/lambdadelta.bib
index 080080f381f18c4072476a3ffd7047e9608dd7f7..43adfd99de98622004c019b1781106333f97fe6d 100644 (file)
--- a/helm/www/lambdadelta/download/lambdadelta.bib
+++ b/helm/www/lambdadelta/download/lambdadelta.bib
@@ -5,7 +5,7 @@
    title="{A Verified Translation of Landau's `Grundlagen'' from Automath into a Pure Type System, via $\lambda\delta$}",
    year="2015",
    month="February",
-   note="Submitted to JFR, University of Bologna"
+   note="Submitted to JFR, University of Bologna (available at $<$http://lambdadelta.info/$>$)"
 }
 
 % \lambda\delta version 2 (active) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -16,7 +16,7 @@
    howpublished="CoRR identifier 1411.0154",
    year="2014",
    month="November",
-   note="Submitted to ACM ToCL"
+   note="Submitted to ACM ToCL (available at $<$http://lambdadelta.info/$>$)"
 }
 
 @misc{lambdadeltaV2,
@@ -25,7 +25,7 @@
    howpublished="Formal specification for the proof assistant Matita 0.99.2",
    year="2014",
    month="October",
-   note="Available at the $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$"
+   note="Available at $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$"
 }
 
 @incollection{lambdadeltaR2b,
@@ -59,7 +59,7 @@
    journal="Transactions on Computational Logic",
    volume="11",
    number="1",
-   pages="5:1-5:37",
+   pages="5:1-5:37, online appendix 1-11",
    publisher="ACM",
    address="New York, NY, USA",
    year="2009",
@@ -106,5 +106,5 @@
    howpublished="Formal specification for the proof assistant Coq 7.3.1",
    year="2006",
    month="November",
-   note="Available at the $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$"
+   note="Available at $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$"
 }

diff --git a/helm/www/lambdadelta/download/lambdadelta.txt b/helm/www/lambdadelta/download/lambdadelta.txt
index 080080f381f18c4072476a3ffd7047e9608dd7f7..43adfd99de98622004c019b1781106333f97fe6d 100644 (file)
--- a/helm/www/lambdadelta/download/lambdadelta.txt
+++ b/helm/www/lambdadelta/download/lambdadelta.txt
@@ -5,7 +5,7 @@
    title="{A Verified Translation of Landau's `Grundlagen'' from Automath into a Pure Type System, via $\lambda\delta$}",
    year="2015",
    month="February",
-   note="Submitted to JFR, University of Bologna"
+   note="Submitted to JFR, University of Bologna (available at $<$http://lambdadelta.info/$>$)"
 }
 
 % \lambda\delta version 2 (active) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -16,7 +16,7 @@
    howpublished="CoRR identifier 1411.0154",
    year="2014",
    month="November",
-   note="Submitted to ACM ToCL"
+   note="Submitted to ACM ToCL (available at $<$http://lambdadelta.info/$>$)"
 }
 
 @misc{lambdadeltaV2,
@@ -25,7 +25,7 @@
    howpublished="Formal specification for the proof assistant Matita 0.99.2",
    year="2014",
    month="October",
-   note="Available at the $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$"
+   note="Available at $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$"
 }
 
 @incollection{lambdadeltaR2b,
@@ -59,7 +59,7 @@
    journal="Transactions on Computational Logic",
    volume="11",
    number="1",
-   pages="5:1-5:37",
+   pages="5:1-5:37, online appendix 1-11",
    publisher="ACM",
    address="New York, NY, USA",
    year="2009",
@@ -106,5 +106,5 @@
    howpublished="Formal specification for the proof assistant Coq 7.3.1",
    year="2006",
    month="November",
-   note="Available at the $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$"
+   note="Available at $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$"
 }

diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html
index a9f2cf2bf1001c1774f86a4e1822f026a20c62a7..d0d97a9e182a3a4fe1694a7e5abff8e0f1d1c9bc 100644 (file)
--- a/helm/www/lambdadelta/ground_1.html
+++ b/helm/www/lambdadelta/ground_1.html
@@ -275,6 +275,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 06 Mar 2015 16:17:54 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 06 Mar 2015 17:53:25 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index a8f176a5a46b3941c8698dd6fad7d83db50dfabc..08790c17e402ea0ac5ad0eb86123d3670eaff9b7 100644 (file)
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -328,6 +328,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 06 Mar 2015 16:17:54 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 06 Mar 2015 17:53:24 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index 6e429e20df3b216f90a70475d67ad7e3d925544e..a0d1b7ce4a70f8e56b5804a65b9b67f450b0b085 100644 (file)
--- a/helm/www/lambdadelta/implementation.html
+++ b/helm/www/lambdadelta/implementation.html
@@ -269,6 +269,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 06 Mar 2015 16:17:54 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 06 Mar 2015 17:53:24 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html
index 047fffc785b56d0480a3f26abab5e58e12ff6eea..f5932556bc310ff9b1498a3ff083860cdb5aae7b 100644 (file)
--- a/helm/www/lambdadelta/index.html
+++ b/helm/www/lambdadelta/index.html
@@ -202,6 +202,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 06 Mar 2015 16:17:54 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 06 Mar 2015 17:53:24 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index 267710b06076a99945140080cf3d2dbdd8264d30..f9de6ec951b874b6be1bc6458a2d2269e73075aa 100644 (file)
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -354,6 +354,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 06 Mar 2015 16:17:54 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 06 Mar 2015 17:53:24 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index 08d1f256edcc17a52d3bc92cd507fa453cbaaabf..412740783ddf216b59eaf98cf9a9b21ef0da8e77 100644 (file)
--- a/helm/www/lambdadelta/specification.html
+++ b/helm/www/lambdadelta/specification.html
@@ -328,6 +328,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 06 Mar 2015 16:17:54 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 06 Mar 2015 17:53:24 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/web/home/documentation_1.tbl b/helm/www/lambdadelta/web/home/documentation_1.tbl
index 65ba896680fb8ccea07352cbd1947f075859788c..c9ae8fa27e01ffeedb2ca54a06879aa37d917202 100644 (file)
--- a/helm/www/lambdadelta/web/home/documentation_1.tbl
+++ b/helm/www/lambdadelta/web/home/documentation_1.tbl
@@ -6,7 +6,7 @@ table {
      @("http://doi.acm.org/10.1145/1614431.1614436"
      "The Formal System λδ") +
      "(<span class=\"emph delta\">2009-11</span>)." +
-     "In ACM ToCL 11(1), pp. 5:1-5:37 (" ^
+     "In ACM ToCL 11(1), pp. 5:1-5:37 online app. pp. 1-11 (" ^
      @("http://tocl.acm.org/accepted/335guidi.pdf" "accepted") +
      "<span class=\"emph delta\">2008-07</span>)." +
      "CoRR identifier" +