X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fimplementation.html;h=b07245b24a1dff4d9bebe56a1550e62645bc9a63;hb=d6d8c70140357a4ed1f42a2f941234e26752e4dc;hp=e0f5b7aab8f90318cb400d2dcb4d3c846b43b430;hpb=9b75ad80a3ee31314c02f113b255ad533a87d3d2;p=helm.git diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index e0f5b7aab..b07245b24 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -40,92 +40,52 @@ documentation
version | -name | -developed with | -stage | -started | -announced | -released | -dismissed | -|
- Version 2 - | -"basic_2" | -- Matita 0.99.2 - | -"A" | -April 2011 | -July 2014 | -Planned in 2014 | -Not planned yet | -|
- Version 1 - | -"basic_1" | -- Coq 7.3.1 + | + helena | -- | May 2004 | -January 2006 | -November 2006 | -May 2008 |