X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fimplementation.html;h=2881bbd7607aece6816f2548074f8b28ca0d094a;hb=68b5af5ca8f1e7f98485b92692b3dcb1ae240d19;hp=f03c51a06c15d5e073388d281ddae128626fed89;hpb=bda6d964ce9729a694e3fd3ead386ca9f2ca14e3;p=helm.git diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index f03c51a06..2881bbd76 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -30,99 +30,62 @@
+ | home | -+ | news | -+ | documentation | -+ | + specification + | +
+ + |
+ implementation | -(specifications - library - Helena) |
- Foreword + | + foreword + | ++ milestones | -- Milestones + | + version 2 | -- Version 2 + | + version 2 | -- Version 2 + | (background - core - applications) | ++ library | -(Background - Core - Applications) |
- Notice + | + citations | -- Visibility + | + visibility | -- Version 1 + | + version 1 | -- Version 1 + | + version 1 | -+ |
|
-
version | -name | -developed with | -started | -announced | -released | -dismissed | -|
2 | -- basic_2 + | + helena | -- 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 |