]>
2011-11-18 | Claudio Sacerdoti... | * Almost ready for release 0.99.1. | tree | commitdiff |
2011-06-25 | Ferruccio Guidi | - some depend files | tree | commitdiff |
2011-05-26 | Claudio Sacerdoti... | Added "nocomposites" to coercions. | tree | commitdiff |
2010-09-30 | Claudio Sacerdoti... | Stuff moved from old Matita. | tree | commitdiff |