]>
2009-05-18 | Enrico Tassi | nothing special | blob | commitdiff | raw |
2009-05-08 | Claudio Sacerdoti... | ... | blob | commitdiff | raw | diff to current |
2009-04-14 | Ferruccio Guidi | we rebuilt the dependences | blob | commitdiff | raw |
2009-03-25 | Enrico Tassi | new tactics are almost ready | blob | commitdiff | raw | diff to current |
2006-09-29 | Enrico Tassi | new version of auto that is able to prove the irrationa... | blob | commitdiff | raw |
2006-09-04 | Enrico Tassi | BIG FAT COMMIT REGARDING COERCIONS: | blob | commitdiff | raw | diff to current |
2006-07-13 | Stefano Zacchiroli | moved graphviz pretty printer outside matita, so that... | blob | commitdiff | raw | diff to current |
2006-06-11 | Ferruccio Guidi | - slight fix in lapply syntax | blob | commitdiff | raw | diff to current |
2006-02-24 | Stefano Zacchiroli | added a generic (yet rather trivial) module for referen... | blob | commitdiff | raw | diff to current |
2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | blob | commitdiff | raw | diff to current |