web site minor update

diff --git a/helm/www/lambdadelta/download/lambdadelta.bib b/helm/www/lambdadelta/download/lambdadelta.bib
index 84ffa7d517520082f4fdb0c7fc1bb28de135c045..403c201cde1005bd7cc3c77cc30bcedb3db1d80f 100644 (file)
--- a/helm/www/lambdadelta/download/lambdadelta.bib
+++ b/helm/www/lambdadelta/download/lambdadelta.bib
@@ -10,14 +10,14 @@
 
 % \lambda\delta version 2 (active) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
-%@misc{lambdadeltaJ2a,
-%   author="F. {Guidi}",
-%   title="{The Formal System $\lambda\delta$ Revised: Extending the Applicability Condition}",
-%   howpublished="CoRR identifier 1411.0154",
-%   year="2014",
-%   month="November",
-%   note="Preprint (available at $<$\url{http://lambdadelta.info/}$>$)"
-%}
+@comment{lambdadeltaJ2a,
+   author="F. {Guidi}",
+   title="{The Formal System $\lambda\delta$ Revised: Extending the Applicability Condition}",
+   howpublished="CoRR identifier 1411.0154",
+   year="2014",
+   month="November",
+   note="Preprint (available at $<$\url{http://lambdadelta.info/}$>$)"
+}
 
 @techreport{lambdadeltaR2c,
    author="F. {Guidi}", 

diff --git a/helm/www/lambdadelta/download/lambdadelta.txt b/helm/www/lambdadelta/download/lambdadelta.txt
index 84ffa7d517520082f4fdb0c7fc1bb28de135c045..403c201cde1005bd7cc3c77cc30bcedb3db1d80f 100644 (file)
--- a/helm/www/lambdadelta/download/lambdadelta.txt
+++ b/helm/www/lambdadelta/download/lambdadelta.txt
@@ -10,14 +10,14 @@
 
 % \lambda\delta version 2 (active) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
-%@misc{lambdadeltaJ2a,
-%   author="F. {Guidi}",
-%   title="{The Formal System $\lambda\delta$ Revised: Extending the Applicability Condition}",
-%   howpublished="CoRR identifier 1411.0154",
-%   year="2014",
-%   month="November",
-%   note="Preprint (available at $<$\url{http://lambdadelta.info/}$>$)"
-%}
+@comment{lambdadeltaJ2a,
+   author="F. {Guidi}",
+   title="{The Formal System $\lambda\delta$ Revised: Extending the Applicability Condition}",
+   howpublished="CoRR identifier 1411.0154",
+   year="2014",
+   month="November",
+   note="Preprint (available at $<$\url{http://lambdadelta.info/}$>$)"
+}
 
 @techreport{lambdadeltaR2c,
    author="F. {Guidi}", 

diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index 514477b52334ba32e5fecb6226fd686723824540..53a82992a2d7e392c38e060823a02eaa01698d26 100644 (file)
--- a/helm/www/lambdadelta/implementation.html
+++ b/helm/www/lambdadelta/implementation.html
@@ -180,7 +180,7 @@
           <li>
             <span class="emph gamma">2015-02.</span>
          The translated specification of Landau's "Grundlagen der Analysis"
-         is successfully validated in λC by <a href="http://coq.inria.fr/">Coq 8.4.3</a>.
+         is successfully validated in CC by <a href="http://coq.inria.fr/">Coq 8.4.3</a>.
       </li>
           <li>
             <span class="emph gamma">2014-12.</span>
@@ -269,6 +269,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 10 Dec 2015 16:13:46 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 10 Dec 2015 18:24:26 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index 01b480ffedb6eb27efdb1d26416b56ac901aaf74..b77c6b4cffb728c85ebc0c399a4cfb504af3758f 100644 (file)
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -125,7 +125,7 @@
       <ul>
           <li>
          The translated specification of Landau's "Grundlagen der Analysis"
-         is validated in λC by <a href="http://coq.inria.fr/">Coq 8.4.3</a>. 
+         is validated in CC by <a href="http://coq.inria.fr/">Coq 8.4.3</a>. 
       </li>
         </ul>
       </li>
@@ -360,6 +360,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 10 Dec 2015 16:13:46 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 10 Dec 2015 18:24:26 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/web/home/implementation.ldw.xml b/helm/www/lambdadelta/web/home/implementation.ldw.xml
index 05bb7c6c2cba7514f0db9c47ca2289f02a8c3728..ef29ccc0fe81ce0832123538ee6d745b7f5907c9 100644 (file)
--- a/helm/www/lambdadelta/web/home/implementation.ldw.xml
+++ b/helm/www/lambdadelta/web/home/implementation.ldw.xml
@@ -73,7 +73,7 @@
       </item><item>
          <notice class="gamma" notice="2015-02."/>
          The translated specification of Landau's "Grundlagen der Analysis"
-         is successfully validated in λC by <link to="http://coq.inria.fr/">Coq 8.4.3</link>.
+         is successfully validated in CC by <link to="http://coq.inria.fr/">Coq 8.4.3</link>.
       </item><item>
          <notice class="gamma" notice="2014-12."/>
          The corrected specification of Landau's "Grundlagen der Analysis"

diff --git a/helm/www/lambdadelta/web/home/news.ldw.xml b/helm/www/lambdadelta/web/home/news.ldw.xml
index b14956cada6af005e42813ccc7c97799755002a2..1208fb9c0c63986c32f055f4729cc28e6b5e05df 100644 (file)
--- a/helm/www/lambdadelta/web/home/news.ldw.xml
+++ b/helm/www/lambdadelta/web/home/news.ldw.xml
@@ -24,7 +24,7 @@
       <rlink to="implementation.html#v2">"Helena 0.8.2"</rlink> is updated.
       <list><item>
          The translated specification of Landau's "Grundlagen der Analysis"
-         is validated in λC by <link to="http://coq.inria.fr/">Coq 8.4.3</link>. 
+         is validated in CC by <link to="http://coq.inria.fr/">Coq 8.4.3</link>. 
       </item></list>
    </news>