X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_1.html;h=463fe1e82c5fb381f09d8aeaff29cc906e93558c;hb=117ddc09ce7995f14af84401b2a21f17a7bc1b7a;hp=a9f2cf2bf1001c1774f86a4e1822f026a20c62a7;hpb=c211eb61218aa9b43dfd2baae45407f0aa87ca79;p=helm.git
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html
index a9f2cf2bf..463fe1e82 100644
--- a/helm/www/lambdadelta/ground_1.html
+++ b/helm/www/lambdadelta/ground_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
|
@@ -136,7 +136,7 @@
characters |
15063 |
nodes |
- |
+ 14881 |
propositions |
@@ -198,6 +198,22 @@
+
+ multiple relocation |
+ |
+
+ bg_plist
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
extensions to the library |
|
@@ -208,7 +224,7 @@
bg_blt
- bg_plist
+
|
@@ -275,6 +291,6 @@
- Last update: Fri, 06 Mar 2015 16:17:54 +0100
+ Last update: Sun, 07 Feb 2016 18:51:18 +0100
|