mailstone in basic_2 !! "big tree" theorem completed after 15 months

[helm.git] / helm / www / lambdadelta / news.html
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html

index 1c20541234bf5164386993f72a0213a7e867606f..55d01c4dd4de05fc7f67bf21e6088efccdefb485 100644 (file)
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -9,7 +9,7 @@
    <meta content="The formal system λδ" name="description">
    <link rel="shortcut icon" href="images/crux_16.ico"></head><body>
  <div style="text-align: center;"> <br>
-<a href="http://lambdadelta.info"><img alt="[Crux Logo]" title="The Crux" src="images/crux_32.png" style="border: 0px solid ; width: 32px; height: 32px;"></a>
+<a href="http://lambdadelta.info/"><img alt="[Crux Logo]" title="The Crux" src="images/crux_32.png" style="border: 0px solid ; width: 32px; height: 32px;"></a>
  <h1>The Formal System λδ (\lambda\delta)<br>
  </h1>
  <h2>Towards the unification of terms, types, environments and contexts</h2>
@@ -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,9 +227,9 @@ 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>
  
-</body></html>
-\ No newline at end of file
+</body></html>