X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fspecification.html;h=4095590fbd5e925557b57089ce2885a679ffba9f;hb=a84e0c2abc802c308f3749e27bb843622534e8d7;hp=027d5910844c8c9298f52d7541951511e129e79b;hpb=6b022cf2cccae67144ff045415e748b0b5c3a3d9;p=helm.git diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index 027d59108..4095590fb 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -16,12 +16,12 @@
- [lambdadelta home] + [\lambda\delta home]
The Formal Systems of the λδ (\lambda\delta) Family
- [Spacer] + [Spacer]

@@ -73,9 +73,11 @@ version 2 - library + helena + + +
- (static LDDL directory) @@ -93,16 +95,14 @@ version 1 - helena - - -
+ library + (static LDDL directory)
-
Computer-checked formal specifications [spacer] +
Computer-checked formal specifications [spacer]
The systems of the λδ family are developed as machine-checked digital specifications, @@ -127,30 +127,43 @@ version name - developed with stage + developed with started announced released concluded references + + + Version 3 + + "basic_3" + + + + + + + + J3a + + Version 2 "basic_2" + "A2" - Matita 0.99.2 + Matita 0.99.3 - "A2" October 2015 - -
- + @@ -159,10 +172,10 @@
- -
- "A1" + + Matita 0.99.2 + April 2011 June 2014 October 2014 @@ -175,27 +188,25 @@ Abandoned + Coq 7.3.1 - March 2008 February 2011 - -
- + Version 1 "basic_1" + Coq 7.3.1 - May 2004 December 2005 November 2006 @@ -228,9 +239,16 @@ introduced in each script, is shown in parentheses (? are placeholders). + +
+ [spacer] λδ version 3 (proposed)
+
+ The formal specification of λδ version 3 + is forthcoming. +
- [spacer] λδ version 2 (active)
+ [spacer] λδ version 2 (active)
The formal specification of λδ version 2 is available in the following formats: @@ -262,7 +280,7 @@
- [spacer] λδ version 1 (superseded)
+ [spacer] λδ version 1 (superseded)
The formal specification of λδ version 1 is available in the following formats: @@ -335,7 +353,7 @@ Core.
- [Spacer] + [Spacer]

@@ -360,6 +378,6 @@

-
Last update: Wed, 30 Dec 2015 15:33:02 +0100
+
Last update: Sun, 22 May 2016 15:25:26 +0200