X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fnews.html;h=55d01c4dd4de05fc7f67bf21e6088efccdefb485;hb=cf546165b1e794f0025afa485d3db51083e17b30;hp=7d581cbb7dbaede08fbf3165dc58db6a668d6525;hpb=2a5e0b799cd6aae5d920c67a5ddc9d9888cf7e80;p=helm.git diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 7d581cbb7..55d01c4dd 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -1,25 +1,20 @@ - - - - lambdadelta home page + + + + + λδ home page + - - - - + +

-[Crux Logo] -

The Formal System λδ (lambdadelta)
+[Crux Logo] +

The Formal System λδ (\lambda\delta)

Towards the unification of terms, types, environments and contexts

-[Separator]
- +[Separator]
+
@@ -237,23 +223,13 @@ this site as the first result.
@@ -38,12 +33,21 @@ -

News [Butterfly]

+

News [Butterfly]

+
    + +
  • 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/ +(pointing at this site).
      • +
    +
  • September 2011. The -denomination "lambdadelta" changes to "lambdadelta". +denomination "lambda-delta" changes to "lambda_delta".
    • The character "-" is reserved in λδ textual syntax (recognized by Helena 0.8.1). @@ -52,46 +56,41 @@ denomination "lambdadelta" changes to "lambdadelta". 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://lambdadelta.info on -December 2012.
      -
      • +
    • + +
+
  • 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. -Permanent λδ URL acquired: http://lambdadelta.info -(pointing at this site).
    +
  • 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.
    @@ -202,34 +197,25 @@ relocation functions: s, is online.
-

Visibility [Butterfly]

+

Visibility [Butterfly]

    -
  • February 2012. The Google search for formal system lambda delta gives +
  • 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 +
  • 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]
+[Valid HTML 4.01 Transitional] [Use Any + Browser Here] [PNG Used Here]

-Last update 2012-12-01 by Ferruccio +Last update 2013-10-27 by Ferruccio Guidi
- - + +