X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fnews.html;h=9879493650d86f62c717b8531570e8760bca6f32;hb=b0bce111aa8d2b50d07151fe54e45e564874d727;hp=eb74a15605abb178c487c5b23db90eba7caefbfe;hpb=0a5a2f3cf0e3f748feb5beaad413181163504509;p=helm.git diff --git a/helm/www/lambda_delta/news.html b/helm/www/lambda_delta/news.html index eb74a1560..987949365 100644 --- a/helm/www/lambda_delta/news.html +++ b/helm/www/lambda_delta/news.html @@ -1,107 +1,158 @@ - + - - - lambda_delta home page - - - - - -
-
-[Crux Logo] -

The Formal System λδ (lambda_delta)
-

-

Towards the unification of terms, types, environments and contexts

-[Separator]
- - - - -
- -
    -
  • News
    • -
- - - 		-

News [Butterfly]

- -
    -
  • November 2010. Helena 0.8.1 is released.
    -
    • -
- - - -
    -
  • September 2008. -This site is online.
    -
    • -
- - - - -
    -
  • March 2008. An -improvement of the -specification of λδ in Coq 7.3.1 begins: -
      + + + lambda_delta home page + + + + + +
      +
      + [Crux Logo] +

      The Formal System λδ (lambda_delta)
      +

      +

      Towards the unification of terms, types, environments and + contexts

      + [Separator]
      + + + + + + + +
      + +
        +
      • News
        • +
      + + +       		+

      News [Butterfly]

      +
        +
      • September 2011. + The + denomination "lambda-delta" changes to "lambda_delta".
        • +
          +
        • The character "-" is reserved in λδ textual syntax + (recognized by Helena + 0.8.1).
          +
          • +
        • Eventually, the occurrences of the character "-" + will be + replaced by "_" in all λδ-related identifiers.
          • +
        • In particular, this refactoring involves file + names and + path names.
          • +
        • The permanent λδ URL is sheduled to become http://lambda_delta.info + on + December 2012.
          +
          • +
        +
      +
        +
      • April 2011. + The + specification of λδ version 2 and related topics is + restarted in Matita + 0.5.
        • +
          +
        • Here is a page about + the + topics related to the specification (Applications).
          • +
        • Here is a page about + the + specification (Core).
          +
          • +
        +
      + +
        +
      • November 2010. + Helena 0.8.1 + is released.
        +
        • +
      + + + +
        +
      • September 2008. + This site is online.
        +
        • +
      + + + + +
        +
      • March 2008. + The + specification of λδ version 2 is started with Coq + 7.3.1 (false start). +
        • +
      + + + + +

      Visibility [Butterfly]

      +
        +
      • February 2012. + The Google + search for formal + system lambda + delta + gives 5 resources about λδ in the first 6 results.
        +
        • +
      +
        +
      • February 2012. + The Yahoo + search formal + system lambda delta + gives this site as the first result.
        • +
      +
      +
      + [Valid HTML 4.01 Transitional] [Use Any + Browser Here] [PNG Used Here]
      +
      + Last update 2012-03-15 by Ferruccio + Guidi
      +
      +