X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fnews.html;h=fc49bc3ef5508d74a44d731e5f8bc96b3fc69cf6;hb=f10cfe417b6b8ec1c7ac85c6ecf5fb1b3fdf37db;hp=cc505a347200ff69483a467ce7eb5f988ae9dc3d;hpb=836e4f30514bceb27394604bbfbae31a62723dae;p=helm.git diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index cc505a347..fc49bc3ef 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -274,7 +274,7 @@
Citations [spacer]
- Here is a list of publications citing λδ (not including our own). + This is a list of publications citing λδ (not including our own).