]>
2012-09-05 | Ferruccio Guidi | the partial commit continues ... | blob | commitdiff | raw |
2012-09-03 | Ferruccio Guidi | lambda_delta: partial commit ... | blob | commitdiff | raw | diff to current |
2012-07-26 | Ferruccio Guidi | - matita: reset_font_size () added after matita.conf... | blob | commitdiff | raw | diff to current |
2012-07-23 | Ferruccio Guidi | - lambda_delta: we updated some notation | blob | commitdiff | raw | diff to current |