X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_1.html;h=789062b5c081a6bb4b4e316db618378985aa8d9c;hb=93bba1c94779e83184d111cd077d4167e42a74aa;hp=1a5a6c8f3e0c8315a9eb75bd29b3dcd05529146a;hpb=67fede5f273328bf920ad609f15d4f2389493c5c;p=helm.git
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html
index 1a5a6c8f3..789062b5c 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: Wed, 18 Feb 2015 19:13:37 +0100
+ Last update: Sun, 27 Mar 2016 18:42:29 +0200