]>
2012-02-23 | Wilmer Ricciotti | refiner porting from matita 1. | blob | commitdiff | raw |
2011-09-16 | Wilmer Ricciotti | This commit patches the environment and the library... | blob | commitdiff | raw | diff to current |
2011-02-21 | Wilmer Ricciotti | fork for Matita version B | blob | commitdiff | raw | diff to current |