X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fimplementation.ldw.xml;h=76bd89b33a94626779f64dd34c101189cb5099bd;hp=9ddcbf34ecccff55fe71ca70a2b6e2d5fce74f2e;hb=528f8ea107f689d07d060e1d31ba32bf65b4e6ba;hpb=9b1b59a049935f5382ed7def91b807bbf9453894
diff --git a/helm/www/lambdadelta/web/home/implementation.ldw.xml b/helm/www/lambdadelta/web/home/implementation.ldw.xml
index 9ddcbf34e..76bd89b33 100644
--- a/helm/www/lambdadelta/web/home/implementation.ldw.xml
+++ b/helm/www/lambdadelta/web/home/implementation.ldw.xml
@@ -64,7 +64,7 @@
(the specification language of Matita).
The overall validation speed of the "Grundlagen der Analysis"
increases of 34% with respect to version 0.8.1.
- Documentation (J3a).
+ Documentation (J3a).
[Svn revision: 13035] (archived source code).
The specification of Landau's "Grundlagen der Analysis"
@@ -116,7 +116,7 @@
Supports λδ version 2 with naive implementation of impredicative sort inclusion.
Features importation from Automath
and exportation to XML.
- Documentation (R2a).
+ Documentation (R2a).
[Svn revision: 10304] (archived source code).
A Jed mode