X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fnews.html;h=11a934d11617d63672bb7fb960b38a1804863b99;hb=93bba1c94779e83184d111cd077d4167e42a74aa;hp=ce97adae0c20715338ac71cabd166f5acd857716;hpb=0cb16b42f119c1cb6135f237092892e2f82929ee;p=helm.git
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index ce97adae0..11a934d11 100644
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -19,7 +19,7 @@
-
The Formal System λδ (\lambda\delta)
+ The Formal Systems of the λδ (\lambda\delta) Family
@@ -36,18 +36,18 @@
news
|
-
- documentation
- |
-
+ |
specification
|
-
+ |
|
-
+ |
|
+
+ documentation
+ |
implementation
|
@@ -62,16 +62,16 @@
milestones
|
-
- version 2
- |
-
+ |
version 2
|
- (background - core - applications) |
-
+ | (background - core - applications) |
+
|
+
+ version 2
+ |
library
|
@@ -84,14 +84,14 @@
visibility
|
+
+ version 1
+ |
+ (background - core) |
+ (static HELM directory) |
version 1
|
-
- version 1
- |
- (core) |
- (static HELM directory) |
helena
|
@@ -105,6 +105,51 @@
Milestones
+
+
+
+ -
+ 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 CC by Coq 8.4.3.
+
+
+
+
-
January 2015.
@@ -127,7 +172,7 @@
@@ -140,7 +185,7 @@
@@ -230,7 +275,7 @@
@@ -273,14 +318,14 @@
@@ -298,7 +343,7 @@
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.
@@ -306,7 +351,7 @@
June 2014.
The Yahoo
search for "formal system lambda delta" gives
- 4 resources about λδ in the first 5 results.
+ 4 resources about the λδ family in the first 5 results.
@@ -335,6 +380,6 @@
-
Last update: Sun, 18 Jan 2015 17:28:58 +0100
+
Last update: Sun, 27 Mar 2016 18:42:29 +0200