X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fimplementation.html;h=9b819674c93578d2f0faf7e39b8c0118e48312d6;hb=f66ae73597b06a5bf8b0ef82d5253bf0e5aba7fc;hp=590ea923f9cba9ee1843b381f280cdf868dbfb9b;hpb=d48d412796a295256c048256c8f7a843e3406980;p=helm.git diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index 590ea923f..9b819674c 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 |