web site minor update

[helm.git] / helm / www / lambdadelta / news.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>