]>
2015-03-05 | Ferruccio Guidi | news update and some bugs fixed | blob | commitdiff | raw |
2015-02-21 | Ferruccio Guidi | - update for helena 0.8.2 and related files | blob | commitdiff | raw | diff to current |
2015-02-18 | Ferruccio Guidi | first article on lambdadelta version 3 | blob | commitdiff | raw | diff to current |
2015-01-22 | Ferruccio Guidi | informational page on ground_1 | blob | commitdiff | raw | diff to current |
2015-01-20 | Ferruccio Guidi | basic_1: we separate theorems and lemmas as in basic_2 | blob | commitdiff | raw | diff to current |
2015-01-19 | Ferruccio Guidi | update in web page for basic_1 | blob | commitdiff | raw | diff to current |
2015-01-18 | Ferruccio Guidi | - we add an informational page on \lambda\delta version... | blob | commitdiff | raw | diff to current |