X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fnews.html;h=10db43f73ba042fdfb6359eeaccb80922c185dfe;hb=08db2212621969b85852de3bd0677149135df0fe;hp=9879493650d86f62c717b8531570e8760bca6f32;hpb=ae7427e8d3c57ccc77931e27913d8605d385cbda;p=helm.git

diff --git a/helm/www/lambda_delta/news.html b/helm/www/lambda_delta/news.html
index 987949365..10db43f73 100644
--- 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>
+                    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="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-03-15 by <a
+      Last update 2012-04-16 by <a
         href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
         Guidi</a><br>
     </div>