]>
2014-11-24 | Ferruccio Guidi | - static disambiguation of Automath unified binders | blob | commitdiff | raw |
2014-11-23 | Ferruccio Guidi | - new attributes system | blob | commitdiff | raw | diff to current |
2014-11-10 | Ferruccio Guidi | the partial commit continues | blob | commitdiff | raw | diff to current |
2011-09-11 | Ferruccio Guidi | refactoring ... | blob | commitdiff | raw | diff to current |