X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Findex.html;h=3f33aa0575948bd717443af1a232cb42ac608be5;hb=644307df315b855c3851f813b04d562acf2db9bc;hp=e6e6a2434b6ee71eaaedc5aefb83d1c3363b62d9;hpb=7f349a4f0175068138a341081d0dd14fd9fe4c4a;p=helm.git diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index e6e6a2434..3f33aa057 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -42,9 +42,9 @@
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 | -