X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=e6a410d4010bb6e741da50a07ef2a5396729e7ed;hb=85ba2f09d81f44b8c75505cc470f1fc5c431b9f2;hp=a4ec380fb559768f450d6009d943c71f5a77c4d1;hpb=e90313fa853ba63f29416c2d0de40b13c913e567;p=helm.git
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index a4ec380fb..e6a410d40 100644
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_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
|
@@ -152,29 +152,29 @@
sizes |
files |
- 14 |
+ 4 |
characters |
- 6787 |
+ 68581 |
nodes |
- 10070 |
+ 3637 |
propositions |
theorems |
2 |
lemmas |
- 4 |
+ 1 |
total |
- 6 |
+ 3 |
concepts |
declared |
- 6 |
+ 3 |
defined |
- 11 |
+ 9 |
total |
- 17 |
+ 12 |
@@ -258,6 +258,6 @@
- Last update: Wed, 21 Jan 2015 17:13:08 +0100
+ Last update: Thu, 10 Dec 2015 16:13:46 +0100