X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fbasic_1.html;h=dbeb3de5d6e2319f8cf1ed2cb231ab9da533793d;hb=02beb8c7e6af00355866b7698ce1eb1f6a03c79b;hp=87daf7e4141095d1860aea13ec292671e72bccad;hpb=c211eb61218aa9b43dfd2baae45407f0aa87ca79;p=helm.git
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html
index 87daf7e41..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
|
@@ -102,7 +102,7 @@
- Abstract Syntax and Behavior
+
Abstract Syntax and Behavior
This is a summary of available syntactic items and reductions (block structure).
@@ -198,7 +198,7 @@
characters |
198089 |
nodes |
-
|
+
1449099 |
propositions |
@@ -823,6 +823,6 @@
- Last update: Fri, 06 Mar 2015 16:17:54 +0100
+ Last update: Sun, 11 Oct 2015 17:42:24 +0200