From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Mon, 3 Oct 2011 18:37:18 +0000 (+0000)
Subject: news update
X-Git-Tag: make_still_working~2237
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2d0dbe55f4e7f670fcf9fdf888796c05e52d920f;p=helm.git

news update
---

diff --git a/helm/www/lambda_delta/news.html b/helm/www/lambda_delta/news.html
index 4385f36aa..99e471035 100644
--- a/helm/www/lambda_delta/news.html
+++ b/helm/www/lambda_delta/news.html
@@ -62,8 +62,12 @@ possible.<br>
       <ul>
         <li><span style="font-weight: bold;">April 2011.</span> The
 specification of λδ version 2 is restarted in <a
- href="http://matita.cs.unibo.it/">Matita 0.5</a>.<br>
-        </li>
+ href="http://matita.cs.unibo.it/">Matita 0.5</a>.</li>
+        <ul>
+          <li><a href="ld_basic_2.html">Here</a> is a page about the
+specification.<br>
+          </li>
+        </ul>
       </ul>
       <ul>
         <li><span style="font-weight: bold;">December 2010.</span>
@@ -94,7 +98,8 @@ as
 a
 part
 of
-the <a href="http://helm.cs.unibo.it/">HELM</a> software. <br>
+the
+          <a href="http://helm.cs.unibo.it/">HELM</a> software. <br>
         </li>
       </ul>
       <span style="font-weight: bold;"></span>
@@ -241,10 +246,9 @@ gives 4 resources and 2 sub-resources about λδ as the first results.</li>
  src="download/globe_trans.png"
  style="border: 0px solid ; width: 147px; height: 42px;"></a> <img
  style="width: 88px; height: 31px;" alt="[PNG Used Here]"
- title="PNG Used Here"
- src="download/PNGnow2.png"><br>
+ title="PNG Used Here" src="download/PNGnow2.png"><br>
 <br>
-Last update 2011-09-09 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
+Last update 2011-10-03 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
 Guidi</a><br>
 </div>
 </body>