]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/documentation_2.tbl
minor site update
[helm.git] / helm / www / lambdadelta / web / home / documentation_2.tbl
index 9a6be192d5aee37bd23294d267609e3cb584fc44..5d9e1e97d9f081046ca3704981d4f15a4d897a5a 100644 (file)
@@ -38,7 +38,7 @@ table {
      @@("download/ld_talk_8s.pdf"
      "The Formal System λδ and the \"Three Problems\"") +
      "(<span class=\"emph beta\">2014-06</span>)." +
-     "Presentation at University of Bologna (slides)."
+     "Presentation at University of Bologna, for the 10th anniversary of λδ (slides)."
      * }
    ] 
    [ { name "ldP2b" "<span class=\"emph alpha\">P2b.</span>" "" } {