From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 20 Nov 2012 19:04:06 +0000 (+0000)
Subject: some corrections
X-Git-Tag: make_still_working~1457
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=93784f891de6d7840646a963c964e8877b3b50b2;p=helm.git

some corrections
---

diff --git a/helm/www/lambda_delta/documentation.html b/helm/www/lambda_delta/documentation.html
index 2ff59112b..3e6457ba5 100644
--- a/helm/www/lambda_delta/documentation.html
+++ b/helm/www/lambda_delta/documentation.html
@@ -144,7 +144,7 @@ href="http://www.cs.unibo.it/pub/TR/UBLCS/ABSTRACTS/2009.bib?ncstrl.cabernet//BO
               <h3><img style="width: 32px; height: 32px;" alt="[Basic
                   lambda_delta Logo]" title="Basic lambda_delta"
                   src="download/basic_32.png"> Basic λδ version 1
-                (closed):</h3>
+                (dismissed):</h3>
               <table style="text-align: left; width: 100%;" border="0"
                 cellpadding="2" cellspacing="2">
                 <tbody>
diff --git a/helm/www/lambda_delta/index.html b/helm/www/lambda_delta/index.html
index e88010299..6e7492e4e 100644
--- a/helm/www/lambda_delta/index.html
+++ b/helm/www/lambda_delta/index.html
@@ -92,7 +92,7 @@ includes the major milestones:<br>
  style="vertical-align: top; background-color: rgb(223, 223, 223); text-align: center;">Released<br>
             </td>
             <td
- style="vertical-align: top; background-color: rgb(223, 223, 223); text-align: center;">Closed<br>
+ style="vertical-align: top; background-color: rgb(223, 223, 223); text-align: center;">Dismissed<br>
             </td>
           </tr>
           <tr>