Here is a numerical account of the specification's contents
and its timeline.
@@ -251,6 +258,6 @@
-
Last update: Thu, 15 Jan 2015 16:54:45 +0100
+ Last update: Thu, 10 Dec 2015 16:13:46 +0100
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=e6a410d4010bb6e741da50a07ef2a5396729e7ed;hb=85ba2f09d81f44b8c75505cc470f1fc5c431b9f2;hp=379c28ce3622fc1fdaed55e7f04e19ff9f50b8ce;hpb=fe00a22101acb7995f8488a4434c4046bc540af0;p=helm.git diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 379c28ce3..e6a410d40 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -36,15 +36,18 @@