X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fnews.html;h=3c09bce6ab0ffbfc5e535c41d3cc5d802e35f528;hb=645b62762e9c86e343d4741541a2ddccfed8ebc7;hp=55d01c4dd4de05fc7f67bf21e6088efccdefb485;hpb=c9a1672c725945b47f9ea8af3c23b67cf9026f01;p=helm.git diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 55d01c4dd..3c09bce6a 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -1,20 +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]
+
@@ -33,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". @@ -56,16 +72,13 @@ denomination "lambda-delta" changes to "lambda_delta". be replaced by "_" in all λδ-related identifiers.
  • In particular, this refactoring involves file names and path names.
    • -
- - - -

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 2013-10-27 by Ferruccio - +Last update 2014-06-19 by Ferruccio Guidi
- - + +