λδ-2B and λδ-ground repackaged for publication

[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 11b564b997b11b8f21237895532f333f915a2763..df3661e223cfc9d02c435111e238d8b88bb22ddd 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">
-      <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>.
+      <body>
+        <notice class="alpha" text="The current version: "/>
+        <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 scriprs depend on: "/>
+         <rlink to="download/lambdadelta_ground.tar.bz2">lambdadelta_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>
@@ -55,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). To appear in Logical Methods in Computer Science.
     </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">