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=3b45a688cdfd82b3555acbf7c9e66616a59cf567;hpb=e36a0eced135e6f1b79d06c78a408918f65376b6;p=helm.git
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index 3b45a688c..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
- |
- (background - core) |
- (static HELM directory) |
helena
|
@@ -146,7 +146,7 @@
@@ -159,7 +159,7 @@
@@ -292,14 +292,14 @@
@@ -354,6 +354,6 @@
- Last update: Thu, 05 Mar 2015 16:46:30 +0100
+ Last update: Wed, 02 Sep 2015 17:59:05 +0200