X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fhome.ldw.xml;h=92cd421bdb11f89c6ef7c523fc03bb0c6a275908;hp=e773b460be5019d60319b3ea60b2616c14be0c21;hb=cdb85e803cd6038352ec0a318285f96f42faf02d;hpb=2ec8ae0a49716b205bbf63568ee625ec1e9eb524
diff --git a/helm/www/lambdadelta/web/home/home.ldw.xml b/helm/www/lambdadelta/web/home/home.ldw.xml
index e773b460b..92cd421bd 100644
--- a/helm/www/lambdadelta/web/home/home.ldw.xml
+++ b/helm/www/lambdadelta/web/home/home.ldw.xml
@@ -19,8 +19,14 @@
The λδ family is developed within the
Hypertextual Electronic Library of Mathematics (HELM)
- as a set of machine-checked digital specifications.
+ as a set of machine-checked digital specifications.
+
+ Current version:
+ λδ-2B for for Matita 0.99.4
+ (released: ).
+ Documentation (J2a).
+
This is the family logo: crux_177.png
(revised ).
@@ -171,5 +177,14 @@
Umineko no Naku Koro ni.
+
+
+ lambdadelta.info
+
+
+
+ If this image is not visible, forwarding is out of order.
+
+