X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fnews.html;h=888e497ca92836a9ccd40d6ef91caa7003298d01;hb=04ffe68396b98bbf21bcd403ffba03b94eaebadc;hp=55d01c4dd4de05fc7f67bf21e6088efccdefb485;hpb=c9a1672c725945b47f9ea8af3c23b67cf9026f01;p=helm.git diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 55d01c4dd..888e497ca 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -1,235 +1,330 @@ - - - - - - λδ home page - - - - -

-[Crux Logo] -

The Formal System λδ (\lambda\delta)
-

-

Towards the unification of terms, types, environments and contexts

-[Separator]
- - - - - - - -
- -
    -
  • News
    • -
- - - 		-

News [Butterfly]

+ + + + + + + + + + \lambda\delta home page + + + + + + +
+ + [lambdadelta home] + +
+
The Formal System λδ (\lambda\delta)
+
+ [Spacer] +
+
+
+
+
+ + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ home + + news + + documentation + + specification + +
+ 		+ implementation +
+ foreword + + milestones + + version 2 + + version 2 + (background - core - applications) + library +
+ citations + + visibility + + version 1 + + version 1 + +
+ 		+ helena +
+
+ + + +
Milestones [spacer] +
+ +
    +
  • + July 2014. + A new version of this site is online. +
    • +
+ + + +
    +
  • + 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/ -(pointing at this site).
        • +
      • + 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". -
        -
      • 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.
        • - -
      -
      • - - -
    +
    • +
+
-
-[Valid HTML 4.01 Transitional] [Use Any - Browser Here] [PNG Used Here]
-
-Last update 2013-10-27 by Ferruccio - -Guidi
-
- - +
  • + 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. +
    • + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
    Visibility [spacer] +
    + + + + + +
    + [Spacer] +
    +
    +
    +
    +
    + + [Valid XHTML 1.1] + + + [Valid CSS level 2] + + + [Generated from XML via XSL] + + + [PNG used here] + + + [Viewable with any browser] + +
    +
    +
    +
    +
    Last update: Tue, 04 Nov 2014 16:28:51 +0100
    + +