X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fspecification.html;h=41de394776bcc844420082b9933e428e56a0f042;hb=f7d7f2459b3b0409be5f168822be3b836ccc929b;hp=a4bb157b5795a8061d4fda816593ae4e6201a4cb;hpb=b7168bf5d5260960a5600093c4b5024e538d8583;p=helm.git
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index a4bb157b5..41de39477 100644
--- a/helm/www/lambdadelta/specification.html
+++ b/helm/www/lambdadelta/specification.html
@@ -19,7 +19,7 @@
-
- λδ is developed as a machine-checked digital specification.
- It comes in several versions listed in the next table,
- which includes the major milestones.
+ The systems of the λδ family are developed as machine-checked digital specifications,
+ and are listed in the next table, which includes the major milestones.
The life cycle of a specification consists of four periods.
@@ -133,7 +132,23 @@
started |
announced |
released |
-
concluded |
+
concluded |
+
references |
+
+
+
+ Version 3
+ |
+ "basic_3" |
+ |
+ |
+ |
+ |
+ |
+ |
+
+ J3a
+ |
@@ -143,11 +158,34 @@
|
Matita 0.99.2
|
- "A" |
+ "A2" |
+ October 2015 |
+ |
+ |
+ |
+
+
+ |
+
+
+
+
+ |
+
+
+ |
+
+
+ |
+ "A1" |
April 2011 |
June 2014 |
October 2014 |
- |
+ August 2015 |
+
+ V2a
+ R2c
+ |
Abandoned |
@@ -159,7 +197,10 @@
March 2008 |
|
|
- February 2011 |
+ February 2011 |
+
+
+ |
@@ -173,7 +214,11 @@
| May 2004 |
December 2005 |
November 2006 |
- May 2008 |
+ May 2008 |
+
+ V1a
+ J1a
+ |
@@ -181,7 +226,7 @@
Informational pages on the specifications are provided.
-