]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/documentation_3.tbl
update in basic_2
[helm.git] / helm / www / lambdadelta / web / home / documentation_3.tbl
index b8a0eb9d82da2b68615bac85fb77c7c83b79914c..4522bea00a21982de3f425397b0d8d13d6beb3e5 100644 (file)
@@ -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)."
      * }
    ]