more minor bugs fixed in the web site

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

diff --git a/helm/www/lambdadelta/web/home/documentation_3.tbl b/helm/www/lambdadelta/web/home/documentation_3.tbl
index ec291e009dfa9b49ac0d3a1bcb72a42ee6813e19..cf80e782d7e184cda3fb728a0eb793038c2b08cd 100644 (file)
--- a/helm/www/lambdadelta/web/home/documentation_3.tbl
+++ b/helm/www/lambdadelta/web/home/documentation_3.tbl
@@ -1,12 +1,13 @@
 name "documentation_3"
 
 table {
-   [ { name "ldJ4" "<span class=\"emph alpha\">J4.</span>" "" } {
+   [ { name "ldJ3a" "<span class=\"emph alpha\">J3a.</span>" "" } {
      "F. Guidi:" +
      @@("download/gda.pdf"
-     "A Verified Translation of Landau's \"Grundlagen\" from Automath into a Pure Type System, via λδ") +
-     "(<span class=\"emph alpha\">2015-02</span>)." +
-     "Submitted to JFR, Univerity of Bologna."
+     "Verified Representations of Landau's \"Grundlagen\" in λδ and in the Calculus of Constructions") +
+     "(<span class=\"emph alpha\">2015-08</span>)." +
+     "Submitted to JFR, Univerity of Bologna." +
+     @@("documentation.html#bibtex" "BibTeX entry") ^ "."
      * }
    ]
 }