]>
2011-06-07 | Wilmer Ricciotti | Fixes record projections (see matita 1.0 branch) | blob | commitdiff | raw |
2011-05-12 | Wilmer Ricciotti | Record projections: | blob | commitdiff | raw | diff to current |
2011-03-08 | Wilmer Ricciotti | First commit with new (incomplete) disambiguation engine. | blob | commitdiff | raw | diff to current |
2011-02-21 | Wilmer Ricciotti | fork for Matita version B | blob | commitdiff | raw | diff to current |