λδ web site update

[helm.git] / helm / www / lambdadelta / web / home / home.ldw.xml
diff --git a/helm/www/lambdadelta/web/home/home.ldw.xml b/helm/www/lambdadelta/web/home/home.ldw.xml

index 8e6135836d861a64fffbbf64e845257b950916ab..5625cdb8c6af5f584329518dad93c446875cb103 100644 (file)
--- a/helm/www/lambdadelta/web/home/home.ldw.xml
+++ b/helm/www/lambdadelta/web/home/home.ldw.xml
@@ -19,8 +19,14 @@
     <body>
        The λδ family is developed within the
        <link to="http://helm.cs.unibo.it/">Hypertextual Electronic Library of Mathematics (HELM)</link>
-      as a set of machine-checked digital specifications.
+      as a set of machine-checked <rlink to="html/specification.html">digital specifications</rlink>.
     </body>
+   <topitem name="current">
+      <notice class="alpha" text="Current version:"/>
+      <rlink to="download/lambdadelta_2B.tar.bz2">λδ-2B for for Matita 0.99.4</rlink>
+      (released: <notice class="gamma" notice="2019-11"/>).
+      <rlink to="html/documentation.html#ldJ2a">Documentation (J2a)</rlink>.
+   </topitem>
     <body>
        This is the family logo: <rlink to="images/crux_177.png">crux_177.png</rlink>
        (revised <notice class="alpha" text="2012-09"/>).
@@ -30,6 +36,9 @@
        to view this site correctly, please select a font
        with <link to="http://www.unicode.org/">Unicode</link> support.
     </body>
+   <body>
+      <ucs-bronze char="03BB"/>
+   </body>
  
  <!-- ===================================================================== -->
  
@@ -168,5 +177,14 @@
        <link to="https://it.wikipedia.org/wiki/Umineko_no_naku_koro_ni">Umineko no Naku Koro ni</link>.
     </body>
  
+<!-- ===================================================================== -->
+
+   <section15 name="info">lambdadelta.info</section15>
+
+   <body>
+      <img logo="forward"/>
+      If this image is not visible, forwarding is out of order.
+   </body>
+
     <footer/>
  </page>