From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 20 Nov 2012 18:45:37 +0000 (+0000)
Subject: some words decapitalized :)
X-Git-Tag: make_still_working~1458
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=cb69329a926f5815a988d401cbd4bb46d272700a;p=helm.git

some words decapitalized :)
---

diff --git a/helm/www/lambda_delta/index.html b/helm/www/lambda_delta/index.html
index 1983a5401..e88010299 100644
--- a/helm/www/lambda_delta/index.html
+++ b/helm/www/lambda_delta/index.html
@@ -107,12 +107,12 @@ includes the major milestones:<br>
 2011<br>
             </td>
             <td
- style="vertical-align: top; background-color: rgb(255, 223, 191);">Planned
+ style="vertical-align: top; background-color: rgb(255, 223, 191);">planned
 in
 2013<br>
             </td>
             <td
- style="vertical-align: top; background-color: rgb(255, 223, 191);">Not
+ style="vertical-align: top; background-color: rgb(255, 223, 191);">not
 planned yet<br>
             </td>
           </tr>