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=791c7fbb2b66b8fb6f5b9d239e7a7c3445458e63;hpb=25a789c7374bff86f42673e330b8b435fa3b7d68;p=helm.git diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index 791c7fbb2..d1c9cff59 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.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 + | + citations | -- Visibility + | + visibility | -- Version 1 + | + version 1 | -- Version 1 + | + version 1 | -+ |
|
+ + helena + |