X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Flambdadelta%2Findex.html;h=c8664cd96e4ef83d9d876ca47534faed018bf143;hb=7f1b4a69c5a262a6d4b68922fe4cb9e7c931f4d4;hp=f6d02442e85f0305e74634a95e25da6d73f60c1a;hpb=4b72bec9d6fc7970cf4a2bc4a1fc4060e71af3f2;p=helm.git diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index f6d02442e..c8664cd96 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -30,72 +30,61 @@
- foreword + | + home | -+ | news | -+ | documentation | -- implementation - | -
- + | + specification | -+ |
|
-
- + | + implementation |
- - |
-
- + | + foreword | -
- - |
- - Version 2 + | + milestones | -- Background + | + version 2 | -- Core + | + version 2 | -- Applications + | (background - core - applications) | ++ library |
- - |
-
- + | + notice | -
- + | + visibility | -- Version 1 + | + version 1 | -
- + | + version 1 | -+ |
|
-
- + | + helena |
version | -name | -developed with | -started | -announced | -released | -dismissed | -
2 | -- basic_2 - | -- Matita 0.99.2 - | -April 2011 | -July 2014 | -Planned in 2014 | -Not planned yet | -
1 | -- basic_1 - | -- Coq 7.3.1 - | -May 2004 | -January 2006 | -November 2006 | -May 2008 | -