X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fnews.html;h=11a934d11617d63672bb7fb960b38a1804863b99;hb=93bba1c94779e83184d111cd077d4167e42a74aa;hp=f9bc87d3772abb0663949ab97762fbbb111baeef;hpb=2c4b4aaa6f1490346823a26cba5dd965cab0cd02;p=helm.git
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index f9bc87d37..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,15 +36,18 @@
news
|
-
- documentation
- |
-
+ |
specification
|
-
+ |
|
+
+
+ |
+
+ documentation
+ |
implementation
|
@@ -59,13 +62,16 @@
milestones
|
+
+ version 2
+ |
+ (background - core - applications) |
+
+
+ |
version 2
|
-
- version 2
- |
- (background - core - applications) |
library
|
@@ -78,13 +84,14 @@
visibility
|
+
+ version 1
+ |
+ (background - core) |
+ (static HELM directory) |
version 1
|
-
- version 1
- |
- (static HELM directory) |
helena
|
@@ -98,6 +105,58 @@
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.
+ The specification of λδ version 1
+ is updated with backports from the abandoned specification of λδ version 2.
+
+
-
December 2014.
@@ -113,7 +172,7 @@
@@ -126,7 +185,7 @@
@@ -292,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.
@@ -321,6 +380,6 @@
-
Last update: Mon, 05 Jan 2015 00:32:03 +0100
+
Last update: Sun, 27 Mar 2016 18:42:29 +0200