- new naming sheme for documentation yields more stable names

[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..4df01fc55267f86e75d7f11683acab5e6ea588ee 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."
+     "Submitted to JFR, Univerity of Bologna." +
+     @@("documentation.html#bibtex" "BibTeX entry") ^ "."
      * }
    ]
 }