X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fnews.html;h=2d31834afb4382f012d285f210af1caa84a638ed;hb=5e5f9111df82a2f84f2b560ab59392cf0e0906c0;hp=045ee7a0c962eb862ef93563d31d0f621ffd5ace;hpb=3bbf660fbb8eb231292a9a5d0befb676f4a376d4;p=helm.git diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 045ee7a0c..2d31834af 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,18 +95,42 @@ 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. +

March 2015. @@ -117,9 +143,9 @@ 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.

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). @@ -186,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.
@@ -249,7 +275,7 @@
- July 2008. - First journal paper on Î»Î´ + First journal paper on Î»Î´ accepted for publication.
@@ -310,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$

@@ -354,6 +380,6 @@

-

Last update: Sun, 06 Sep 2015 21:40:57 +0200

+

Last update: Sat, 01 Apr 2017 16:50:38 +0200