X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fnews.html;h=3b45a688cdfd82b3555acbf7c9e66616a59cf567;hb=e36a0eced135e6f1b79d06c78a408918f65376b6;hp=ce97adae0c20715338ac71cabd166f5acd857716;hpb=0cb16b42f119c1cb6135f237092892e2f82929ee;p=helm.git
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index ce97adae0..3b45a688c 100644
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -90,7 +90,7 @@
version 1
|
- (core) |
+ (background - 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.
@@ -335,6 +354,6 @@
- Last update: Sun, 18 Jan 2015 17:28:58 +0100
+ Last update: Thu, 05 Mar 2015 16:46:30 +0100
|