X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Flambda_delta%2Fnews.html;h=10db43f73ba042fdfb6359eeaccb80922c185dfe;hb=38a32a37e587326fb5c3b0c9130c13329ddac8e6;hp=eb74a15605abb178c487c5b23db90eba7caefbfe;hpb=0a5a2f3cf0e3f748feb5beaad413181163504509;p=helm.git diff --git a/helm/www/lambda_delta/news.html b/helm/www/lambda_delta/news.html index eb74a1560..10db43f73 100644 --- a/helm/www/lambda_delta/news.html +++ b/helm/www/lambda_delta/news.html @@ -1,107 +1,158 @@ - + -
- -
-
|
-
- News-
|