X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fspecification.ldw.xml;h=ecd3ffabf4292b9cdc158d45516776a65d21f1a7;hb=dd731f05f181f45260a0c448cf995aa3d7adc1f2;hp=c58b253a82f0fd6a6cabe3f58105f4ed55d87914;hpb=c7b50fec51b9a25d5bc536f44e54179fd53efb44;p=helm.git
diff --git a/helm/www/lambdadelta/web/home/specification.ldw.xml b/helm/www/lambdadelta/web/home/specification.ldw.xml
index c58b253a8..ecd3ffabf 100644
--- a/helm/www/lambdadelta/web/home/specification.ldw.xml
+++ b/helm/www/lambdadelta/web/home/specification.ldw.xml
@@ -58,27 +58,9 @@
λδ version 2 (active)
The formal specification of λδ version 2
- is available in the following formats:
+ is available in the following formats.
-
-
- lambdadelta_2A1 for Matita 0.99.2
- (revised ).
- Source scripts [Svn revision: 12964].
- Documentation (R2c).
-
-
- 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/>.
-
-
-
Informational pages on the parts of the specification:
Background,
@@ -87,33 +69,77 @@
Applications.
+
+
+ The scripts are grouped in directories, first by part, then by component.
+
+
+
+
+ the scripts are checked by the latest version of Matita from
+ helm.git repository.
+
+
+
+
+ lambdadelta_2B for Matita 0.99.4
+ (revised ).
+ Source scripts [Git revision: 2019-11-19 20:45:15].
+ Documentation (V2b).
+
+
+
+
+
+ lambdadelta_2A for Matita 0.99.2
+ (revised ).
+ Source scripts [Git revision: 2014-10-28 17:46:26].
+ Documentation (R2c).
+
+
+ repackaging (was lambdadelta_2A1).
+
+
+
+
λδ version 1 (superseded)
The formal specification of λδ version 1
- is available in the following formats:
+ is available in the following formats.
-
+
+ Informational pages on the parts of the specification:
+ Background,
+ Core.
+
+
+
+
+ The scripts are grouped in directories, one for each part.
+
+
+
- lambdadelta_1 for Coq 7.3.1
- (revised ).
+ lambdadelta_1A for Coq 7.3.1
+ (revised ).
Source scripts.
Documentation (J1a).
+
+ repackaging (was lambdadelta_1).
+
17 new lemmas and former lemma "eq_nat_dec" renamed as "nat_dec_neg".
-
- The scripts are grouped in directories, one for each part.
-
-
- lambdadelta_1 for Matita 0.5
- (revised ).
+
+ lambdadelta_1A for Matita 0.5
+ (revised ).
Static HTML pages generated by the HELM rendering engine.
@@ -137,19 +163,13 @@
-
+
- lambdadelta_1 for Matita 0.5
- (revised ).
+ lambdadelta_1A for Matita 0.5
+ (revised ).
HELM directory.
-
- Informational pages on the parts of the specification:
- Background,
- Core.
-
-