λδ 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 df3661e223cfc9d02c435111e238d8b88bb22ddd..ec5cf0d07256c58cb6bb37f1e716cc95eac0c319 100644 (file)
--- a/helm/www/lambdadelta/web/home/home.ldw.xml
+++ b/helm/www/lambdadelta/web/home/home.ldw.xml
@@ -23,14 +23,14 @@
     </body>
     <topitem name="current">
        <body>
-        <notice class="alpha" text="The current version: "/>
+        <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 scriprs depend on: "/>
-         <rlink to="download/lambdadelta_ground.tar.bz2">lambdadelta_ground for Matita 0.99.2</rlink>
+         <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>
@@ -62,7 +62,7 @@
     <topitem name="C10">
        M. Weber:
        <notice class="alpha">An extended type system with lambda-typed lambda-expressions</notice>
-      (2020). To appear in Logical Methods in Computer Science.
+      (2020). In Logical Methods in Computer Science, 16(4), pp. 12:1-12:50.
     </topitem>
  
     <topitem name="C9">