λδ site update

[helm.git] / helm / www / lambdadelta / web / home / documentation_2.tbl

diff --git a/helm/www/lambdadelta/web/home/documentation_2.tbl b/helm/www/lambdadelta/web/home/documentation_2.tbl
index 04202e4f586992662bff4fe673be64b330bd217c..17f49ba03e6113c633aa979b5d327948069d178d 100644 (file)
--- 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") ^ "."
      * }
    ]