X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fnews.html;h=0c2df9dc0fd23d40f095e9dd37ae327c6bdd120c;hb=6ce2552192c2727eb5f7d17f52b949549e1e6ad1;hp=ce97adae0c20715338ac71cabd166f5acd857716;hpb=0cb16b42f119c1cb6135f237092892e2f82929ee;p=helm.git
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index ce97adae0..0c2df9dc0 100644
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -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,25 @@
Milestones
+
+ -
+ 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.
+
+
+
+
-
January 2015.
@@ -127,7 +146,7 @@
@@ -140,7 +159,7 @@
@@ -273,14 +292,14 @@
@@ -335,6 +354,6 @@
- Last update: Sun, 18 Jan 2015 17:28:58 +0100
+ Last update: Wed, 02 Sep 2015 17:59:05 +0200