]>
2010-12-10 | Claudio Sacerdoti... | Previous patch improved: we now use an ad-hoc wrapper... | blob | commitdiff | raw |
2010-12-02 | Claudio Sacerdoti... | porting to new syntax | blob | commitdiff | raw | diff to current |
2010-09-30 | Claudio Sacerdoti... | Stuff moved from old Matita. | blob | commitdiff | raw | diff to current |