X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fnews.html;h=10db43f73ba042fdfb6359eeaccb80922c185dfe;hb=99c8b28b92ec2c44774f664f9c9ec1a458593e1d;hp=a1c4024ecb5698c4e481ce466fb8d49f2ce81fc7;hpb=77c6a180035cd63f3edd4db54bd7e9b411f9e85e;p=helm.git diff --git a/helm/www/lambda_delta/news.html b/helm/www/lambda_delta/news.html index a1c4024ec..10db43f73 100644 --- a/helm/www/lambda_delta/news.html +++ b/helm/www/lambda_delta/news.html @@ -1,140 +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]

-
    -
  • 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 is restarted in Matita 0.5.
    • -
      -
    • Here is a page about the -specification.
      -
      • -
    -
- -
    -
  • 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-02-21 by Ferruccio -Guidi
-
- + + + + + +

Visibility [Butterfly]

+ + + + + + +
+ [Valid HTML 4.01 Transitional] [Use Any + Browser Here] [PNG Used Here]
+
+ Last update 2012-04-16 by Ferruccio + Guidi
+ +