From: Ferruccio Guidi Date: Tue, 20 Nov 2012 13:43:03 +0000 (+0000) Subject: milestone with end date of lambda_delta_1 X-Git-Tag: make_still_working~1461 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e0d40dccaeadf0ebd924504e635228c9b8f33350;p=helm.git milestone with end date of lambda_delta_1 --- diff --git a/helm/www/lambda_delta/news.html b/helm/www/lambda_delta/news.html index 10db43f73..74a213109 100644 --- a/helm/www/lambda_delta/news.html +++ b/helm/www/lambda_delta/news.html @@ -1,158 +1,136 @@ - + - - - 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 +--> + <ul> + <li><span style=September 2007. The + specification of λδ +version 1 for Matita 0.4 is online. + + + + +

Visibility [Butterfly]

+ + + + + + +
+[Valid HTML 4.01 Transitional] [Use Any Browser Here] [PNG Used Here]
-
- Last update 2012-04-16 by Ferruccio - Guidi
-
- + src="download/globe_trans.png" + style="border: 0px solid ; width: 147px; height: 42px;"> [PNG Used Here]
+
+Last update 2012-11-20 by Ferruccio + +Guidi
+ +