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=99e4710355592d4de3a175342ecff616f3cb4124;hpb=2d0dbe55f4e7f670fcf9fdf888796c05e52d920f;p=helm.git diff --git a/helm/www/lambda_delta/news.html b/helm/www/lambda_delta/news.html index 99e471035..e3d13c5ee 100644 --- a/helm/www/lambda_delta/news.html +++ b/helm/www/lambda_delta/news.html @@ -54,8 +54,7 @@ replaced by "_" in all λδ-related identifiers.