X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fversion_1.html;h=469dbbd589c43eff3a81d4b881a039fb0e02701b;hb=f46a888221e68830773251aa134f3da13c5b9e3c;hp=6038c0055265b5d12992fb04012ba02a5928abbb;hpb=4b72bec9d6fc7970cf4a2bc4a1fc4060e71af3f2;p=helm.git diff --git a/helm/www/lambdadelta/version_1.html b/helm/www/lambdadelta/version_1.html index 6038c0055..469dbbd58 100644 --- a/helm/www/lambdadelta/version_1.html +++ b/helm/www/lambdadelta/version_1.html @@ -30,70 +30,48 @@
- foreword + | + home | -+ | news | -+ | documentation | -+ | implementation | -
- - |
-
- - |
-
- - |
+ (specifications - library - Helena) |
- + Foreword |
- + Milestones |
- + Version 2 |
Version 2 | -- Background - | -- Core - | -- Applications - | +(Background - Core - Applications) | ||||
- + | + Notice | -
- + | + Visibility | -
- + | + Version 1 | Version 1 | -
- - |
-
- - |
|
@@ -102,63 +80,66 @@