X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fnews.html;h=10db43f73ba042fdfb6359eeaccb80922c185dfe;hb=99c8b28b92ec2c44774f664f9c9ec1a458593e1d;hp=fc6d4d244889fbf4c50b0a9eb961a0ea62f32b50;hpb=fba2975ffd09ffb30a60500725c9991421445f37;p=helm.git diff --git a/helm/www/lambda_delta/news.html b/helm/www/lambda_delta/news.html index fc6d4d244..10db43f73 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-04-16 by Ferruccio + Guidi
      +
      +