X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fnews.html;h=10db43f73ba042fdfb6359eeaccb80922c185dfe;hb=933f288c1ef283f50050ce51fbe6773f25fc68ea;hp=4385f36aa804651dac7e7592c5c1c5e9f0b60ebf;hpb=cc57e6f6528ccc871a4d52d2ce4859c4a76fc0ca;p=helm.git diff --git a/helm/www/lambda_delta/news.html b/helm/www/lambda_delta/news.html index 4385f36aa..10db43f73 100644 --- a/helm/www/lambda_delta/news.html +++ b/helm/www/lambda_delta/news.html @@ -1,132 +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 as soon as -possible.
      -
      • -
    -
-
    -
  • April 2011. The -specification of λδ version 2 is restarted in Matita 0.5.
    -
    • -
- -
    -
  • November 2010. Helena 0.8.1 is released.
    -
    • -
- - - -
    -
  • September 2008. -This site is online.
    -
    • -
- - - - -
    -
  • March 2008. The -specification of λδ version 2 in Coq 7.3.1 begins: -
    • -
- - - -

Visibility [Butterfly]

-
    -
  • November 2010. -The Google -search formal system lambda delta -gives 8 resources about λδ as the first results.
    -
    • -
-
    -
  • November 2010. -The Yahoo -search formal system lambda delta -gives 4 resources and 2 sub-resources about λδ as the first results.
    • -
-
-
-[Valid HTML 4.01 Transitional] [Use Any Browser Here] [PNG Used Here]
-
-Last update 2011-09-09 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
+ +