X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Findex.html;h=d1c9cff59088906b0233b4be120c3da5279fb57e;hb=04ffe68396b98bbf21bcd403ffba03b94eaebadc;hp=3f33aa0575948bd717443af1a232cb42ac608be5;hpb=644307df315b855c3851f813b04d562acf2db9bc;p=helm.git diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index 3f33aa057..d1c9cff59 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 + | + citations | -- Visibility + | + visibility | -- Version 1 + | + version 1 | -- Version 1 + | + version 1 | -+ |
|
+ + helena + |