]> matita.cs.unibo.it Git - helm.git/commitdiff
some corrections
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 20 Nov 2012 19:04:06 +0000 (19:04 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 20 Nov 2012 19:04:06 +0000 (19:04 +0000)
helm/www/lambda_delta/documentation.html
helm/www/lambda_delta/index.html

index 2ff59112bdb6f718b0628491205eaed22450ea43..3e6457ba5c16ccd7f06360b1a10828e659e8eef4 100644 (file)
@@ -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>
index e88010299a65a0ea10dca20c060227602d1b046d..6e7492e4ee4f931c81c5178d05d5d06b892a5c19 100644 (file)
@@ -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>