X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_1.html;h=dbeb3de5d6e2319f8cf1ed2cb231ab9da533793d;hb=02beb8c7e6af00355866b7698ce1eb1f6a03c79b;hp=739454623d63d475385335801e071c8b01ee6639;hpb=e36a0eced135e6f1b79d06c78a408918f65376b6;p=helm.git
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html
index 739454623..dbeb3de5d 100644
--- a/helm/www/lambdadelta/basic_1.html
+++ b/helm/www/lambdadelta/basic_1.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
|
@@ -198,7 +198,7 @@
characters |
198089 |
nodes |
- |
+ 1449099 |
propositions |
@@ -823,6 +823,6 @@
- Last update: Thu, 05 Mar 2015 16:42:28 +0100
+ Last update: Sun, 11 Oct 2015 17:42:24 +0200