X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fspecification.html;h=83528ee961bfe09de5373b99b665974e0ccbf2a4;hb=72e835f5e6848c09faf6343fb7e276c88bfc1f2e;hp=2abf3281e503b4fbc8590c8bcbf7caa5a93115a3;hpb=1e94683f160df35b31f1eee8f4d99a6ec8008b36;p=helm.git
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index 2abf3281e..83528ee96 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.
-