web site minor update

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

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>