X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fhome.ldw.xml;h=e1b5eb42564e1f7ca01c3ffd5430e5ec12c94f65;hb=397413c4196f84c81d61ba7dd79b54ab1c428ebb;hp=45fc177fbb027e2bf573475af22387a415d63d72;hpb=24ba1bb3f67505d3e384747ff90d26d3996bd3f5;p=helm.git

diff --git a/helm/www/lambdadelta/web/home/home.ldw.xml b/helm/www/lambdadelta/web/home/home.ldw.xml
index 45fc177fb..e1b5eb425 100644
--- a/helm/www/lambdadelta/web/home/home.ldw.xml
+++ b/helm/www/lambdadelta/web/home/home.ldw.xml
@@ -49,7 +49,7 @@
    <topitem name="C9">
       Matthias Weber:
       <notice class="alpha">An extended type system with lambda-typed lambda-expressions (extended version)</notice>
-      (2017). Technical report. Faculty of Computer Science, Technical University of Berlin.
+      (2018). Technical report. Faculty of Computer Science, Technical University of Berlin.
    </topitem>
 
    <topitem name="C8">