X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fnews.html;h=c246291dff9f9191e8c1296cc9f0e15007a08bf0;hb=b7395f3e72f7c8db2d81ef8abc8549695c089eca;hp=1110d756931c2e06b8bbb9fffa6160171ad54c87;hpb=d867d4f21d89308c02d06db83005b91241bc6171;p=helm.git diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 1110d7569..c246291df 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -40,41 +40,52 @@ documentation