From 3bd760474c12a1c527e24ac7ed39412d994e2db5 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 10 Dec 2015 17:26:32 +0000
Subject: [PATCH] web site minor update

---
 helm/www/lambdadelta/download/lambdadelta.bib    | 16 ++++++++--------
 helm/www/lambdadelta/download/lambdadelta.txt    | 16 ++++++++--------
 helm/www/lambdadelta/implementation.html         |  4 ++--
 helm/www/lambdadelta/news.html                   |  4 ++--
 .../lambdadelta/web/home/implementation.ldw.xml  |  2 +-
 helm/www/lambdadelta/web/home/news.ldw.xml       |  2 +-
 6 files changed, 22 insertions(+), 22 deletions(-)

diff --git a/helm/www/lambdadelta/download/lambdadelta.bib b/helm/www/lambdadelta/download/lambdadelta.bib
index 84ffa7d51..403c201cd 100644
--- 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 84ffa7d51..403c201cd 100644
--- 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 514477b52..53a82992a 100644
--- 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 01b480ffe..b77c6b4cf 100644
--- 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 05bb7c6c2..ef29ccc0f 100644
--- 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 b14956cad..1208fb9c0 100644
--- 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>
 
-- 
2.39.2