- milestone update in basic_2

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

diff --git a/helm/www/lambda_delta/news.html b/helm/www/lambda_delta/news.html
index 388833406f88cf87fd5b854ad84b8e7781fa3a22..10db43f73ba042fdfb6359eeaccb80922c185dfe 100644 (file)
--- a/helm/www/lambda_delta/news.html
+++ b/helm/www/lambda_delta/news.html
@@ -45,11 +45,11 @@
               <ul>
                 <li><span style="font-weight: bold;">September 2011.</span>
                   The
-                  denomination "lambda-delta" changes to "lambda_delta".</li>
+                  denomination "lambda-delta" changes to "lambda_delta".
                 <ul>
                   <li>The character "-" is reserved in λδ textual syntax
                     (recognized by <span style="font-style: italic;">Helena
-                      0.8.1</span>).<br>
+                      0.8.1</span>).
                   </li>
                   <li>Eventually, the occurrences of the character "-"
                     will be
@@ -62,23 +62,23 @@
                     on
                     December 2012.<br>
                   </li>
-                </ul>
+                </ul></li>
               </ul>
               <ul>
                 <li><span style="font-weight: bold;">April 2011.</span>
                   The
                   specification of λδ version 2 and related topics is
                   restarted in <a href="http://matita.cs.unibo.it/">Matita
-                    0.5</a>.</li>
-                <ul>
-                  <li><a href="ld_apps_2.html">Here</a> is a page about
+                    0.5</a>.
+               <ul>
+                  <li><a href="apps_2.html">Here</a> is a page about
                     the
                     topics related to the specification (Applications).</li>
-                  <li><a href="ld_basic_2.html">Here</a> is a page about
+                  <li><a href="basic_2.html">Here</a> is a page about
                     the
-                    specification (Core).<br>
+                    specification (Core).
                   </li>
-                </ul>
+                </ul></li>
               </ul>
               <ul>
                 <li><span style="font-weight: bold;">December 2010.</span>
@@ -279,7 +279,7 @@ relocation functions: <span style="font-style: italic;">s</span>, <span
         height: 31px;" alt="[PNG Used Here]" title="PNG Used Here"
         src="download/PNGnow2.png"><br>
       <br>
-      Last update 2012-02-24 by <a
+      Last update 2012-04-16 by <a
         href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
         Guidi</a><br>
     </div>