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 [spacer] +
Abstract Syntax and Behavior [spacer]
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