X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fnews.html;h=d79757c9ff58d3a67e044ab2094a244cc1c3e040;hb=3adf21d15f533c901cb82ee8d459d93ac8cf77a5;hp=01b480ffedb6eb27efdb1d26416b56ac901aaf74;hpb=f72807cb8834aa8991919e365b57d553e3674908;p=helm.git diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 01b480ffe..d79757c9f 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,7 +31,7 @@ - home + home news @@ -57,7 +57,7 @@ - foreword + foreword milestones @@ -73,13 +73,15 @@ version 2 - library + helena + + + Open Symbolic Notation (OSN) - (static LDDL directory) - citations + citations visibility @@ -93,22 +95,40 @@ version 1 - 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.

February 2015.

+
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.

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). @@ -192,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.
@@ -316,14 +336,14 @@

Visibility [spacer]

+

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.

June 2014.

-

+ $\lambda\delta rainbow rule$

@@ -360,6 +380,6 @@

-

Last update: Thu, 10 Dec 2015 16:13:46 +0100

+

Last update: Thu, 16 Feb 2017 12:23:36 +0100