X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=b6e10865c94f9bb4ecabe6c6b11a1dff7ed4a83f;hb=72e835f5e6848c09faf6343fb7e276c88bfc1f2e;hp=92bd89f68894e1c0bb38b90012f260c5d578203a;hpb=baab36c06f86166d1332ca8175b7193d70045b48;p=helm.git diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 92bd89f68..b6e10865c 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.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 - - (core) - (static HELM directory) helena @@ -104,7 +104,7 @@
Summary of the Specification [spacer]
-
Here is a numerical acount of the specification's contents +
Here is a numerical account of the specification's contents and its timeline.
@@ -132,37 +132,55 @@ sizes files - 30 + 77 characters - 68581 + 93034 nodes - 62380 + 195875 propositions theorems - 2 + 14 lemmas - 187 + 434 total - 189 + 448 concepts declared - 40 + 44 defined - 25 + 37 total - 65 + 81
+ + +