-
-
- - lambdadelta_2 for Matita 0.99.2 - (revised 2014-07). - Source scripts. - -
-
-
- - Background, - Core, - Applications. - Informational pages on the parts of the specification. - -
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fversion_2.html;h=37a5db3d8583d3bf1066cf306e2a4cacc6287ed1;hb=43282d3750af8831c8100c60d75c56fdfb7ff3c9;hp=81cbf0cf5ae7927c94c3f04dd474dc75e3803bbd;hpb=db4fa4436863ec774b70787659f749542908f227;p=helm.git diff --git a/helm/www/lambdadelta/version_2.html b/helm/www/lambdadelta/version_2.html index 81cbf0cf5..37a5db3d8 100644 --- a/helm/www/lambdadelta/version_2.html +++ b/helm/www/lambdadelta/version_2.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 | -
- - |
-
- - |
|
@@ -104,26 +82,29 @@