From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 1 Feb 2012 15:53:33 +0000 (+0000)
Subject: the Basic_2 page was not regenerated ...
X-Git-Tag: make_still_working~1959
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=126a6494e5cee474680ca747795c02613a1c08ac;p=helm.git

the Basic_2 page was not regenerated ...
---

diff --git a/helm/www/lambda_delta/ld_basic_2.html b/helm/www/lambda_delta/ld_basic_2.html
index da3068b93..5d7b4e9f1 100644
--- a/helm/www/lambda_delta/ld_basic_2.html
+++ b/helm/www/lambda_delta/ld_basic_2.html
@@ -19,18 +19,18 @@
             and its timeline.
    </div>
    <div class="text"><table cellpadding="4" cellspacing="0"><tbody><tr><td class="snns component grey">category</td><td class="snns plane grey">objects</td><td class="snnn number grey"><br/></td><td class="snnn plane grey"><br/></td><td class="ssnn number grey"><br/></td></tr><tr><td class="snns component green">propositions</td><td class="snns plane green">theorems</td><td class="snnn number green">39</td><td class="snns plane green">lemmas</td><td class="ssnn number green">333</td></tr><tr><td class="snss component yellow">concepts</td><td class="snss plane yellow">declared</td><td class="snsn number yellow">33</td><td class="snss plane yellow">defined</td><td class="sssn number yellow">46</td></tr></tbody></table></div>
-   
+   <ul><li><span class="date">2012 January 27.</span>
             Support for abstract candidates of reducibility closed.
-   
-   
+   </li></ul>
+   <ul><li><span class="date">2011 September 21.</span>
             Confluence of context-sensitive parallel reduction closed.
-   
-   
+   </li></ul>
+   <ul><li><span class="date">2011 September 6.</span>
             Confluence of context-free parallel reduction closed.
-   
-   
+   </li></ul>
+   <ul><li><span class="date">2011 April 17.</span>
             Specification started.
-   
+   </li></ul>
    <div class="head2">Logical structure of the contribution</div>
    <div class="text">The source files are grouped in planes and components
             according to the following table.