X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Findex.html;h=9bd1b957e90e6fecdb140b09cec47de2be87ec58;hb=ddd6cb6f4514d9ca97f857cafa218c170222f5aa;hp=20833265c179d4cbf59bacb04b904edf263036db;hpb=325319a6c28fd8c3992cdb0be745b0c7ca8651c3;p=helm.git diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index 20833265c..9bd1b957e 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -31,7 +31,7 @@
version | -name | -developed with | -started | -announced | -released | -dismissed | -
2 | -- basic_2 - | -- 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 | -