X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Findex.html;h=76b10418a44f8ea17537d3625903b05c4e621145;hb=3080bf8226d155d017c5ec5c4e852d952f5b878c;hp=dca01c171bd30c35e18ca918f2e0445c00fc40fa;hpb=bda6d964ce9729a694e3fd3ead386ca9f2ca14e3;p=helm.git diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index dca01c171..76b10418a 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 + |