X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fdocumentation.html;h=982e136303db85c117620a508328c5c0742e235b;hb=37e1b4f314ffae815beca71300688040f8da6939;hp=7a90b1ba560d016c9fe5d019da1775d48d04e8d3;hpb=8ece314152135bef6cfc427482ee619a3c4fd0b8;p=helm.git diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 7a90b1ba5..982e13630 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.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 + | + citations | -- Version 1 + | + version 1 | -- Version 1 + | + version 1 | -+ |
|
+ + helena + |