X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Flambdadelta%2Fnews.html;h=c246291dff9f9191e8c1296cc9f0e15007a08bf0;hb=7f1b4a69c5a262a6d4b68922fe4cb9e7c931f4d4;hp=bd9bdabf79d5e340a01770470de9869f6ed76aaf;hpb=ddd6cb6f4514d9ca97f857cafa218c170222f5aa;p=helm.git diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index bd9bdabf7..c246291df 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -30,51 +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 + | + notice | -- Visibility + | + visibility | -- Version 1 + | + version 1 | -- Version 1 + | + version 1 | -+ |
|
+ + helena + |