X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fimplementation.html;h=9b819674c93578d2f0faf7e39b8c0118e48312d6;hb=f66ae73597b06a5bf8b0ef82d5253bf0e5aba7fc;hp=f03c51a06c15d5e073388d281ddae128626fed89;hpb=bda6d964ce9729a694e3fd3ead386ca9f2ca14e3;p=helm.git diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index f03c51a06..9b819674c 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -30,99 +30,62 @@
+ | home | -+ | news | -+ | documentation | -+ | + specification + | +
+ + |
+ implementation | -(specifications - library - Helena) |
- Foreword + | + foreword | -- Milestones + | + milestones | -- Version 2 + | + version 2 | -- Version 2 + | + version 2 + | +(background - core - applications) | ++ library | -(Background - Core - Applications) |
- Notice + | + citations | -- Visibility + | + visibility | -- Version 1 + | + version 1 | -- Version 1 + | + version 1 | -+ |
|
-
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 + | + helena | -May 2004 | -January 2006 | -November 2006 | -May 2008 |