]>
2016-05-18 | Ferruccio Guidi | bugfix ind docbook code for the relise of matita 0... | commit | commitdiff |
2011-11-18 | Enrico Tassi | hints | commit | commitdiff |
2011-11-18 | Enrico Tassi | coercions | commit | commitdiff |
2011-11-18 | Claudio Sacerdoti... | ... | commit | commitdiff |
2011-11-18 | Claudio Sacerdoti... | ... | commit | commitdiff |
2011-11-18 | Claudio Sacerdoti... | For release 0.99.1. | commit | commitdiff |
2010-09-30 | Claudio Sacerdoti... | Stuff moved from old Matita. | commit | commitdiff |