web site minor update

[helm.git] / helm / www / lambdadelta / web / home / implementation.ldw.xml

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"