]>
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-12 | Ferruccio Guidi | new message reporting system improves performance signi... | blob | commitdiff | raw | diff to current |
2014-11-11 | Ferruccio Guidi | - commit completed :) | blob | commitdiff | raw | diff to current |
2012-12-02 | Ferruccio Guidi | bugfix in uri's: missing "/" added to baseuri's where... | blob | commitdiff | raw | diff to current |
2012-12-02 | Ferruccio Guidi | - dehypenation involves helena as well | blob | commitdiff | raw | diff to current |
2011-09-12 | Ferruccio Guidi | refactoring completed! | blob | commitdiff | raw | diff to current |
2011-09-11 | Ferruccio Guidi | the refactoring continues ... | blob | commitdiff | raw | diff to current |
2011-09-11 | Ferruccio Guidi | refactoring ... | blob | commitdiff | raw | diff to current |