]>
2012-03-12 | matitaweb | (no commit message) | commit | commitdiff |
2012-02-23 | Wilmer Ricciotti | refiner porting from matita 1. | commit | commitdiff |
2011-09-16 | Wilmer Ricciotti | This commit patches the environment and the library... | commit | commitdiff |
2011-02-21 | Wilmer Ricciotti | fork for Matita version B | commit | commitdiff |