X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fdocumentation_2.tbl;fp=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fdocumentation_2.tbl;h=5d9e1e97d9f081046ca3704981d4f15a4d897a5a;hb=59c3713b93251505ba4e00b2695bffe2dfaf3bc7;hp=9a6be192d5aee37bd23294d267609e3cb584fc44;hpb=f654fd9873d09435f10c91554e5b94bd44fd5850;p=helm.git

diff --git a/helm/www/lambdadelta/web/home/documentation_2.tbl b/helm/www/lambdadelta/web/home/documentation_2.tbl
index 9a6be192d..5d9e1e97d 100644
--- a/helm/www/lambdadelta/web/home/documentation_2.tbl
+++ b/helm/www/lambdadelta/web/home/documentation_2.tbl
@@ -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>" "" } {