X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fnews.html;h=55d01c4dd4de05fc7f67bf21e6088efccdefb485;hb=41441a27e7dc2afcd20ffd6159015ee77f37a3d8;hp=915d3193dddb1ee37905255c5a39d4d3d5b3727f;hpb=a255d83ebcb9b700a6f30cbcd109d223fc0d98cb;p=helm.git

diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index 915d3193d..55d01c4dd 100644
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -71,6 +71,8 @@ specification of λδ version 2 and related topics is restarted in <a href="http
 topics related to the specification (Applications).</li>
             <li><a href="basic_2.html">Here</a> is a page about the
 specification (Core). </li>
+            <li><a href="ground_2.html">Here</a> is a page about the
+background of the specification (Ground).</li>
           </ul>
         </li>
       </ul>
@@ -225,7 +227,7 @@ this site as the first result.</li>
           Transitional" src="http://www.w3.org/Icons/valid-html401" style="border: 0px solid ; width: 88px; height: 31px;"></a> <a href="http://www.anybrowser.org/campaign/"><img alt="[Use Any
           Browser Here]" title="Use Any Browser Here" src="images/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="images/PNGnow2.png"><br>
 <br>
-Last update 2012-12-02 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
+Last update 2013-10-27 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
 
 Guidi</a><br>
 </div>