X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fnews.ldw.xml;h=2a0072be0f25669772e0f8b88bef82f53fd0d917;hb=85155a59a3986914b005d7e7edd7351d8090e234;hp=92dda54917a39bee3188888dec8f5bf905525666;hpb=bda6d964ce9729a694e3fd3ead386ca9f2ca14e3;p=helm.git
diff --git a/helm/www/lambdadelta/web/home/news.ldw.xml b/helm/www/lambdadelta/web/home/news.ldw.xml
index 92dda5491..2a0072be0 100644
--- a/helm/www/lambdadelta/web/home/news.ldw.xml
+++ b/helm/www/lambdadelta/web/home/news.ldw.xml
@@ -7,7 +7,7 @@
>
- Milestones
+ Milestones
A new version of this site is online.
@@ -117,7 +117,7 @@
is started with Coq 7.3.1.
- Visibility
+ Visibility
The Google