Last update: Sun, 20 Jul 2014 15:02:32 +0200
+ Last update: Thu, 09 Oct 2014 20:11:23 +0200
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Findex.html;h=a7d1579aa024a71a704f7b3796262de75db491fb;hb=296f79ae045db68312a245e4111afb554561de42;hp=3f33aa0575948bd717443af1a232cb42ac608be5;hpb=644307df315b855c3851f813b04d562acf2db9bc;p=helm.git diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index 3f33aa057..a7d1579aa 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -30,57 +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 + | (background - core - applications) | ++ library |
- Notice + | + notice | -- Visibility + | + visibility | -- Version 1 + | + version 1 | -- Version 1 + | + version 1 | -+ |
|
+ + helena + |