X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=1b36b571ecadb27ea144a55017df85d4ad269276;hb=32def68dd99ad5f20f001e3e76b51afa6f69dec5;hp=3ab92f7d00d16fb9d75441d97ef771abd524b392;hpb=15455aa487e001c643b4f46daf82612b8409f1ae;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 3ab92f7d0..1b36b571e 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
|
@@ -146,18 +146,18 @@
files |
360 |
characters |
- 433402 |
+ 437272 |
nodes |
- 1874778 |
+ 1935835 |
propositions |
theorems |
130 |
lemmas |
- 1286 |
+ 1303 |
total |
- 1416 |
+ 1433 |
concepts |
@@ -1384,6 +1384,6 @@
- Last update: Fri, 06 Mar 2015 17:53:24 +0100
+ Last update: Sun, 06 Sep 2015 21:40:58 +0200