X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fnews.html;h=8391452ae6039c137fb6d7245b8458cf209fe2aa;hb=bda0d7ea2a1aecb2bacd82972d476fbd9d63f4dc;hp=915d3193dddb1ee37905255c5a39d4d3d5b3727f;hpb=a255d83ebcb9b700a6f30cbcd109d223fc0d98cb;p=helm.git diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 915d3193d..8391452ae 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -1,233 +1,307 @@ - - + + + + + + + + + + \lambda\delta home page + + + + + + +
+ + [lambdadelta home] + +
+
The Formal System λδ (\lambda\delta)
+
+ [Spacer] +
+
+
+
+
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ foreword + + news + + documentation + + implementation + +
+ 		+
+ 		+
+
+
+ 		+
+ 		+
+ 		+ Version 2 + + Background + + Core + + Applications +
+
+ 		+
+ 		+
+ 		+ Version 1 + +
+ 		+
+ 		+
+
+
- - - λδ home page - - - - -

-[Crux Logo] -

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

-

Towards the unification of terms, types, environments and contexts

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

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 "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.
      • - -
    -
    • - - +
    Milestones [spacer] +
    +
    + -
      -
    • April 2011. The -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).
        • -
      -
      • +
    • + 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). +
        • +
      +
      -
    • December 2010. Transient λδ URL acquired: http://lambda-delta.info/ -(expires on December 2012).
      -
      • +
    • + 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. +
        • +
      +
      -
    • November 2010. Helena 0.8.1 is released.
      -
      • +
    • + April 2011. + The specification of λδ version 2 + and related topics is restarted in + Matita 0.5. +
      -
    • September 2009. Helena 0.8.0 is released and the λδ Digital Library is started.
      -
      • +
    • + December 2010. + Transient λδ URL acquired: http://lambda-delta.info/ (expires on December 2012). +
    -
      -
    • September 2008. -This site is online.
      -
      • +
    • + September 2009. + "Helena 0.8.0" is released and the + λδ Digital Library + is started. +
    -
      -
    • May 2008. The -specification of λδ version 1 is dismissed.
      -
      • +
    • + July 2008. + First procedural reconstruction + for Matita 0.5 + of the λδ version 1 for Coq 7.3.1. +
    -
      -
    • November 2006. λδ version 1 is released.
      • +
    • + March 2008. + The specification of λδ version 2 is started with Coq 7.3.1 (false start). +
    -

    Visibility [Butterfly]

      -
    • February 2012. The Yahoo search formal system lambda delta gives -this site as the first result.
      • +
    • + May 2004. + The specification of λδ version 1 + is started with Coq 7.3.1. +
    -
-
-[Valid HTML 4.01 Transitional] [Use Any - Browser Here] [PNG Used Here]
-
-Last update 2012-12-02 by Ferruccio +
-Guidi
- +
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: Sun, 13 Jul 2014 15:59:00 +0200
+ +