X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fspecification.ldw.xml;h=dac9acf84c332d344afc281dc421d52d61d2e212;hb=f10cfe417b6b8ec1c7ac85c6ecf5fb1b3fdf37db;hp=815f9f34ab17a5928af344296bda1a293ae44cc8;hpb=836e4f30514bceb27394604bbfbae31a62723dae;p=helm.git
diff --git a/helm/www/lambdadelta/web/home/specification.ldw.xml b/helm/www/lambdadelta/web/home/specification.ldw.xml
index 815f9f34a..dac9acf84 100644
--- a/helm/www/lambdadelta/web/home/specification.ldw.xml
+++ b/helm/www/lambdadelta/web/home/specification.ldw.xml
@@ -17,7 +17,7 @@
- λδ version 2 (in progress)
+ λδ version 2 (ongoing)
The formal specification of λδ version 2
is available in the following formats:
@@ -30,7 +30,11 @@
Source scripts.
- compile with the latest version of Matita from
+ The scripts are grouped in directories, first by part, then by component.
+
+
+
+ the scripts are checked by the latest version of Matita from
HELM Subversion repository
at path <trunk/matita/>.
@@ -42,6 +46,12 @@
Core,
Applications.
+
+ nodes are counted according to the "intrinsic complexity measure"
+ [F. Guidi: "Procedural Representation of CIC Proof Terms"
+ Journal of Automated Reasoning 44(1-2), Springer (February 2010), pp. 53-78].
+