+
+
+
-
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fspecification.html;h=307a1d4d8e47dde1f4baea538a191f805d5aa3fb;hb=5e5f9111df82a2f84f2b560ab59392cf0e0906c0;hp=568d80fe76678edf0eec3fcfaa8091bbda089ce1;hpb=b7395f3e72f7c8db2d81ef8abc8549695c089eca;p=helm.git diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index 568d80fe7..307a1d4d8 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -16,14 +16,14 @@
-version | name | -developed with | stage | +developed with | started | announced | released | -dismissed | +concluded | +references | +|
+ Version 3 + | +"basic_3" | ++ | + | + | + | + | + | + J3a + | |||
Version 2 | "basic_2" | +"A2" | ++ Matita 0.99.3 + | +October 2015 | ++ | + | + | + | |||
+ + |
+
+ + |
+ "A1" | Matita 0.99.2 | -"A" | April 2011 | June 2014 | -Planned in October 2014 | -Not planned yet | +October 2014 | +August 2015 | ++ V2a + R2c + | +
Abandoned | ++ | + | + Coq 7.3.1 + | +March 2008 | ++ | + | February 2011 | +||||
Version 1 | "basic_1" | +Coq 7.3.1 | -May 2004 | December 2005 | November 2006 | -May 2008 | +May 2008 | ++ V1a + J1a + |