X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fnews.html;h=31665034e338813ede336bf1c93d9905a3ec7b9d;hb=9b1b59a049935f5382ed7def91b807bbf9453894;hp=b990528b562cb4f5bf8fdf8aa652af8a582588a4;hpb=d1ab998b8c8dacdfceee97d6275955675cf8be83;p=helm.git diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index b990528b5..31665034e 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -16,12 +16,12 @@

[lambdadelta home]

+ $[\lambda\delta home]$

-

The Formal System Î»Î´ (\lambda\delta)

+

The Formal Systems of the Î»Î´ (\lambda\delta) Family

-

+ $\lambda\delta rainbow rule$

@@ -31,23 +31,23 @@ - home + home news - - documentation - - + specification - +
- +
+ + documentation + implementation @@ -57,62 +57,95 @@ - foreword + foreword milestones - - version 2 - - + version 2 - (background - core - applications) - + (background - core - applications) +
+ + version 2 + - library + helena + + + Open Symbolic Notation (OSN) - (static LDDL directory) - citations + citations visibility + + version 1 + + (background - core) + (static HELM directory) version 1 - version 1 - - (background - core) - (static HELM directory) - - helena - - -
+ library + (static LDDL directory)

-

Milestones [spacer]

+

Milestones $\lambda\delta butterfly$

+

+ December 2015. + Second journal paper on Î»Î´ + accepted for publication. +

+

+ December 2015. + "Helena 0.8.3" is released. +

+

+ August 2015. + The specification of Î»Î´ version 2A1 is concluded. +

+

+ June 2015. + The corrected specification of Landau's "Grundlagen der Analysis" + is validated in a Î»Prolog implementation of Î»Î´ version 3. +

+

+ March 2015. + The specification of Î»Î´ version 1 is validated by + Matita 0.99.2. +

February 2015. "Helena 0.8.2" is updated.
- +
- The translated specification of Landau's "Grundlagen der Analysis" - is validated in Î»C by Coq 8.4.3. + is validated in CC by Coq 8.4.3.

December 2014.

+
The corrected specification of Landau's "Grundlagen der Analysis" is validated in Î»Î´ version 3.

October 2014. - Î»Î´ version 2A + Î»Î´ version 2A1 is released.

June 2014. - First communication on Î»Î´ version 2. + First communication on Î»Î´ version 2.

December 2012.

+
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). @@ -179,15 +212,15 @@ 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.
@@ -242,7 +275,7 @@
- July 2008. - First journal paper on Î»Î´ + First journal paper on Î»Î´ accepted for publication.
@@ -285,14 +318,14 @@
- November 2006. - Î»Î´ version 1 + Î»Î´ version 1 is released.
- December 2005. - First communication on Î»Î´ version 1. + First communication on Î»Î´ version 1.
-
Visibility +
Visibility $\lambda\delta butterfly$
- June 2014. The Google search for "formal system lambda delta" gives - 5 resources about Î»Î´ in the first 6 results. + 5 resources about the Î»Î´ family in the first 6 results.
- + $\lambda\delta rainbow rule$

@@ -347,6 +380,6 @@

-
Last update: Sat, 21 Feb 2015 23:49:14 +0100
+
Last update: Fri, 24 Nov 2017 21:00:00 +0100