]>
2011-11-09 | Wilmer Ricciotti | Matitaweb: | blob | commitdiff | raw |
2011-10-20 | Andrea Asperti | 1. ported to camlp5 | blob | commitdiff | raw | diff to current |
2011-10-17 | Enrico Tassi | compact coercion command: "coercion foo." | blob | commitdiff | raw | diff to current |
2011-09-16 | Wilmer Ricciotti | This commit patches the environment and the library... | blob | commitdiff | raw | diff to current |
2011-07-20 | Wilmer Ricciotti | 1) Matitaweb now disambiguates scripts as it runs them | blob | commitdiff | raw | diff to current |
2011-05-13 | Wilmer Ricciotti | interim version (added smallLexer) | blob | commitdiff | raw | diff to current |
2011-03-30 | Wilmer Ricciotti | Keeping track of locations of disambiguated ids and... | 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 |