λδ 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 92cd421bdb11f89c6ef7c523fc03bb0c6a275908..ec5cf0d07256c58cb6bb37f1e716cc95eac0c319 100644 (file)
--- a/helm/www/lambdadelta/web/home/home.ldw.xml
+++ b/helm/www/lambdadelta/web/home/home.ldw.xml
@@ -22,10 +22,17 @@
        as a set of machine-checked <rlink to="html/specification.html">digital specifications</rlink>.
     </body>
     <topitem name="current">
-      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>.
+      <body>
+        <notice class="alpha" text="The current specification: "/>
+        <rlink to="download/lambdadelta_2B.tar.bz2">λδ-2B for for Matita 0.99.4</rlink>
+        (revised: <notice class="gamma" notice="2020-12"/>).
+        <rlink to="html/documentation.html#ldJ2a">Documentation (J2a)</rlink>.
+      </body>
+      <body>
+         <notice class="alpha" text="The current specification depends on: "/>
+         <rlink to="download/lambdadelta_ground.tar.bz2">λδ-ground for Matita 0.99.2</rlink>
+         (revised <notice class="gamma" text="2020-12"/>).
+      </body>
     </topitem>
     <body>
        This is the family logo: <rlink to="images/crux_177.png">crux_177.png</rlink>
@@ -33,11 +40,16 @@
     </body>
     <body>
        <notice class="alpha" text="Notice:"/>
-      to view this site correctly, please select a font
-      with <link to="http://www.unicode.org/">Unicode</link> support.
+      to view this site correctly, please install fonts
+      supporting <link to="http://www.unicode.org/">Unicode 7.0</link> (June 2014).
+      For instance <notice class="alpha" text="Unifont Upper"/>
+      or <notice class="alpha" text="Symbola"/>
+      or <notice class="alpha" text="Noto Sans Symbols2"/>.
     </body>
     <body>
        <ucs-bronze char="03BB"/>
+      <ucs-bronze char="03C7"/>
+      <ucs-bronze char="03B4"/>
     </body>
  
  <!-- ===================================================================== -->
@@ -50,13 +62,13 @@
     <topitem name="C10">
        M. Weber:
        <notice class="alpha">An extended type system with lambda-typed lambda-expressions</notice>
-      (2018). Technical report. Faculty of Computer Science, Technical University of Berlin.
+      (2020). In Logical Methods in Computer Science, 16(4), pp. 12:1-12:50.
     </topitem>
  
     <topitem name="C9">
        M. Weber:
        <notice class="alpha">An extended type system with lambda-typed lambda-expressions (extended version)</notice>
-      (2018). Technical report. Faculty of Computer Science, Technical University of Berlin.
+      (2020). Technical report. Faculty of Computer Science, Technical University of Berlin.
     </topitem>
  
     <topitem name="C8">