X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_1.html;h=46a2f63be113b052d2bf9d70472ab1a448384a7b;hb=bcc6a96020485731da4c02cc38043817903bd7dc;hp=926bcd5273762163ab1ddb6751cc27f04e3efb9d;hpb=d1ab998b8c8dacdfceee97d6275955675cf8be83;p=helm.git
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html
index 926bcd527..46a2f63be 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
![lambdadelta butterfly [spacer]](http://lambdadelta.info/images/b6.png)
+
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: Sat, 21 Feb 2015 23:38:38 +0100
+ Last update: Thu, 10 Dec 2015 16:13:47 +0100