]>
2014-03-04 | Claudio Sacerdoti... | Different behaviour of OCaml 4.0. | blob | commitdiff | raw |
2013-02-02 | Claudio Sacerdoti... | Identity change, improves readability. | blob | commitdiff | raw | diff to current |
2012-07-19 | Claudio Sacerdoti... | Major speed up improvement after every tactic application. | blob | commitdiff | raw | diff to current |
2011-01-11 | Claudio Sacerdoti... | HUGE COMMIT: | blob | commitdiff | raw | diff to current |
2010-09-30 | Enrico Tassi | sync with stable: | blob | commitdiff | raw | diff to current |
2010-09-30 | Claudio Sacerdoti... | Stuff moved from old Matita. | blob | commitdiff | raw | diff to current |