- update for helena 0.8.2 and related files

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

diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index bfaf3b9c998dcd1b9ce78ac81cddfeb19eb71555..b990528b562cb4f5bf8fdf8aa652af8a582588a4 100644 (file)
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -105,6 +105,18 @@
     <!-- ===================================================================== -->
     <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="milestones">Milestones <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b3.png" />
     </div>
+    <ul xmlns:ld="http://lambdadelta.info/">
+      <li>
+        <span class="emph gamma">February 2015.</span>
+        <a href="http://lambdadelta.info/implementation.html#v2">"Helena 0.8.2"</a> is updated.
+      <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>. 
+      </li>
+        </ul>
+      </li>
+    </ul>
     <ul xmlns:ld="http://lambdadelta.info/">
       <li>
         <span class="emph delta">January 2015.</span>
@@ -335,6 +347,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 18 Feb 2015 19:13:35 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 21 Feb 2015 23:49:14 +0100</div>
   </body>
 </html>