X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fversion_1.html;h=4a107c7c4d3efc6a93c5de6b20f305d29be9a7c1;hb=ddd6cb6f4514d9ca97f857cafa218c170222f5aa;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..4a107c7c4 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 + | +
+ + |