]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/documentation.html
some corrections
[helm.git] / helm / www / lambda_delta / documentation.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>