web site minor update

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

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>