]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/news.html
update in ground_2, web page for ground_2
[helm.git] / helm / www / lambdadelta / news.html
index 915d3193dddb1ee37905255c5a39d4d3d5b3727f..55d01c4dd4de05fc7f67bf21e6088efccdefb485 100644 (file)
@@ -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>