X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fdocumentation_2.tbl;h=17f49ba03e6113c633aa979b5d327948069d178d;hp=04202e4f586992662bff4fe673be64b330bd217c;hb=b367de0252e88d6b0476648d5ceac7e4aeffca27;hpb=ea99a55173ebdcfe60f3b3d6f6c979f5d7785d48

diff --git a/helm/www/lambdadelta/web/home/documentation_2.tbl b/helm/www/lambdadelta/web/home/documentation_2.tbl
index 04202e4f5..17f49ba03 100644
--- a/helm/www/lambdadelta/web/home/documentation_2.tbl
+++ b/helm/www/lambdadelta/web/home/documentation_2.tbl
@@ -5,12 +5,12 @@ table {
      "F. Guidi:" +
      @("https://arxiv.org/abs/1911.12749"
      "A Formal System for the Universal Quantification of Schematic Variables") +
-     "(<span class=\"emph gamma\">2020-12</span>)." +
-     "Preprint." + (* Submitted to ACM ToCL. *)
+     "(<span class=\"emph gamma\">2021-05</span>)." +
+     "To appear in ACM ToCL." +
      "CoRR identifier" +
      @("https://arxiv.org/abs/1911.12749" "1911.12749") +
-     "[v3] (revised" +
-     "<span class=\"emph gamma\">2020-12</span>)." +
+     "[v5] (revised" +
+     "<span class=\"emph gamma\">2021-05</span>)." +
      @@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
      * }
    ]