X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambda_delta%2Fnews.html;h=e3d13c5eebeadb1483471530e82a7a9e6bc83def;hb=e305a62a7cb0a49fea3d241474e4c5bcd40e7272;hp=6f8d840a19eb7f3c641d68c320ec15bdd2cdcbfd;hpb=1e6ccf5e87e8c52cc8b360350fe91f2557d9311d;p=helm.git
diff --git a/helm/www/lambda_delta/news.html b/helm/www/lambda_delta/news.html
index 6f8d840a1..e3d13c5ee 100644
--- a/helm/www/lambda_delta/news.html
+++ b/helm/www/lambda_delta/news.html
@@ -129,7 +129,7 @@ pages of the specification of λδ in Matita 0.5 are online.