X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fversion_1.html;h=b28827183afa7572eeabcbe030589d61450e36bf;hb=9b75ad80a3ee31314c02f113b255ad533a87d3d2;hp=5bf4e0abdc83f0762f5ec5b85ff18079fbab7bde;hpb=2aa295aa37f8fb274f7b640f7627078d9435cefa;p=helm.git diff --git a/helm/www/lambdadelta/version_1.html b/helm/www/lambdadelta/version_1.html index 5bf4e0abd..b28827183 100644 --- a/helm/www/lambdadelta/version_1.html +++ b/helm/www/lambdadelta/version_1.html @@ -30,80 +30,116 @@
- foreword + | + home | -+ | news | -+ | documentation | -+ | implementation | +(specifications - library - Helena) | +
+ Foreword + | ++ Milestones + | ++ Version 2 + | ++ Version 2 + | +(Background - Core - Applications) | +||||
+ Notice + | ++ Visibility + | ++ Version 1 + | ++ Version 1 + | +
+ + |