X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fimplementation.html;h=2881bbd7607aece6816f2548074f8b28ca0d094a;hb=68b5af5ca8f1e7f98485b92692b3dcb1ae240d19;hp=ec6b023b75d62a44105a763c6f4614a30b7c9fb4;hpb=01efd2c88dd65ba5dbf9c946000b5d03a98acad8;p=helm.git diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index ec6b023b7..2881bbd76 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 + | + helena | -"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 - | -- | May 2004 | -January 2006 | -November 2006 | -May 2008 |