X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=4fb47c1a335ca7b91e7afc7f828d3cd6b5b79ded;hb=a38bbd2c8213d8275a3d3c2ac115c45c8e478ed4;hp=3ab92f7d00d16fb9d75441d97ef771abd524b392;hpb=658c000ee2ea2da04cf29efc0acdaf16364fbf5e;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 3ab92f7d0..4fb47c1a3 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.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
|
@@ -1384,6 +1384,6 @@
- Last update: Fri, 06 Mar 2015 17:53:24 +0100
+ Last update: Mon, 11 May 2015 15:05:35 +0200