X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fversion_1.html;h=aae51ed5516dabf1c60f984f568074bc9b1d88c0;hb=bb1a03359dfaea6031592d28b9bfb15d797c44e5;hp=a96ad71269acb020348c1aa4d040d2016734d0d1;hpb=3167db4903eea2eddc60a91cfd922be3672ce077;p=helm.git diff --git a/helm/www/lambdadelta/version_1.html b/helm/www/lambdadelta/version_1.html index a96ad7126..aae51ed55 100644 --- a/helm/www/lambdadelta/version_1.html +++ b/helm/www/lambdadelta/version_1.html @@ -30,70 +30,48 @@ - - - - - - - + - - - + - - - - - @@ -104,61 +82,64 @@
Formats [spacer]
+
The formal specification of λδ version 1 is available in the following formats: -
+ + + + + + + +
[Spacer] @@ -186,6 +167,6 @@

-
Last update: Sun, 13 Jul 2014 23:25:31 +0200
+
Last update: Wed, 10 Sep 2014 21:47:00 +0200
- 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 -
-
-
-