X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fimplementation.html;h=e4af9432e31889ff88e993b169d390373e982448;hb=296f79ae045db68312a245e4111afb554561de42;hp=544bd20ad0f275a99981d02f41d76b5dbfb52da4;hpb=f46a888221e68830773251aa134f3da13c5b9e3c;p=helm.git diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index 544bd20ad..e4af9432e 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 |