X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fnews.html;h=915d3193dddb1ee37905255c5a39d4d3d5b3727f;hb=f5c6d4c41cbbdabdf998be0c4a8242849a790f1b;hp=8bc12e324cec683c1194a64f590171481c048b44;hpb=691c330235597faab8ad7be34242bc545d4c4023;p=helm.git diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 8bc12e324..915d3193d 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 +221,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,17 +56,16 @@ 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.
      -
      • +
    • + +
+

-[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 2012-12-02 by Ferruccio Guidi
- - + +