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 8ca8c771df44b58ee8ebf7bd778e92582e157b1e..55d01c4dd4de05fc7f67bf21e6088efccdefb485 100644 (file)
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -2,13 +2,14 @@
  <html dir="ltr" lang="en-us"><head>
  
  
+
    <meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>λδ home page</title>
    
    <meta content="Ferruccio Guidi" name="author">
    <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>
@@ -70,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>
@@ -115,7 +118,7 @@ for <a href="http://matita.cs.unibo.it/">Matita 0.5</a> of the <a href="implemen
        </ul>
        <ul>
          <li><span style="font-weight: bold;">May 2008.</span> The
-specification of λδ version 1 is closed.<br>
+specification of λδ version 1 is dismissed.<br>
            <span style="font-weight: bold;"></span></li>
        </ul>
        <ul>
@@ -224,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-01 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>