X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fdocumentation_3.tbl;h=4522bea00a21982de3f425397b0d8d13d6beb3e5;hp=b8a0eb9d82da2b68615bac85fb77c7c83b79914c;hb=a5c71699f1d0cf63a769c71dd8b8cd5dfff1933d;hpb=b3afed9fd3cc38ecd4578f6b0741be50872a2828

diff --git a/helm/www/lambdadelta/web/home/documentation_3.tbl b/helm/www/lambdadelta/web/home/documentation_3.tbl
index b8a0eb9d8..4522bea00 100644
--- a/helm/www/lambdadelta/web/home/documentation_3.tbl
+++ b/helm/www/lambdadelta/web/home/documentation_3.tbl
@@ -24,7 +24,7 @@ table {
      "F. Guidi:" + 
      @@("download/ld_talk_10s.pdf"
      "Adding Schematic Abstraction to λP") +
-     "(revised <span class=\"emph gamma\">2018-02</span>)." +
+     "(<span class=\"emph alpha\">2018-02</span>)." +
      "Presentation at University of Bologna (slides)."
      * }
    ]