X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fnews.html;h=3c09bce6ab0ffbfc5e535c41d3cc5d802e35f528;hb=c0d87c3cdf879f61aa53e91f43580e9815ae7190;hp=8ca8c771df44b58ee8ebf7bd778e92582e157b1e;hpb=c259a5f9cacd93550e80d2195ff4bf68a0d55ddb;p=helm.git diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 8ca8c771d..3c09bce6a 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -1,19 +1,25 @@ - - - - λδ home page - + + + + λδ home page - + + +

-[Crux Logo] +[Crux Logo]

The Formal System λδ (\lambda\delta)

Towards the unification of terms, types, environments and contexts

-[Separator]
- +[Separator]
+
@@ -32,18 +38,29 @@ -

News [Butterfly]

+

News [Butterfly]

+ +
    +
  • December 2012. The +character "_" is removed from the denomination "lambda_delta".
    • +
    - -
  • December 2012. The character "_" is removed from the denomination "lambda_delta".
    -
      • -
    • The denomination "\lambda\delta" is used in λδ-related texts.
      • -
    • The denomination "lambdadelta" is used in λδ-related identifiers.
      • -
    • Permanent λδ URL acquired: http://lambdadelta.info/ +
    • The denomination "\lambda\delta" is used in λδ-related +texts.
      • +
    • The denomination "lambdadelta" is used in λδ-related +identifiers.
      • +
    • Permanent λδ URL acquired: http://lambdadelta.info/ (pointing at this site).
    -
+
  • September 2011. The denomination "lambda-delta" changes to "lambda_delta". @@ -55,39 +72,44 @@ denomination "lambda-delta" changes to "lambda_delta". be replaced by "_" in all λδ-related identifiers.
  • In particular, this refactoring involves file names and path names.
    • -
- - -
  • April 2011. The -specification of λδ version 2 and related topics is restarted in Matita 0.5. +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).
      • +
    • Here is a page about the +background of the specification (Ground).
    -
  • December 2010. Transient λδ URL acquired: http://lambda-delta.info/ +
  • December 2010. +Transient λδ URL acquired: http://lambda-delta.info/ (expires on December 2012).
    -
  • November 2010. Helena 0.8.1 is released.
    +
  • November 2010. Helena 0.8.1 is released.
  • May 2008. The -specification of λδ version 1 is closed.
    +specification of λδ version 1 is dismissed.
    @@ -194,39 +220,57 @@ relocation functions: s, is online.
-

Visibility [Butterfly]

+

Visibility [Butterfly]

    -
  • February 2012. The Google search for formal system lambda delta gives +
  • June 2014. 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.
    • +
  • June 2014. The Yahoo search formal system lambda delta gives +4 resources about λδ in the first 5 results.

-[Valid HTML 4.01 Transitional] [Use Any - Browser Here] [PNG Used Here]
+[Valid HTML 4.01 Transitional] [Use Any + Browser Here] [PNG Used Here]

-Last update 2012-12-01 by Ferruccio - +Last update 2014-06-19 by Ferruccio Guidi
- - \ No newline at end of file + +