]>
2019-09-27 | Andrea Berlingieri | Partially restore the assume tactic | blob | commitdiff | raw |
2018-09-13 | Ferruccio Guidi | dependences for ocaml version 4.05.0 | blob | commitdiff | raw | diff to current |
2018-01-05 | Ferruccio Guidi | updated depend files | blob | commitdiff | raw |
2017-12-28 | Claudio Sacerdoti... | .depend{.opt} files changed | blob | commitdiff | raw | diff to current |
2014-12-01 | Ferruccio Guidi | dependences update | blob | commitdiff | raw |
2013-02-05 | Ferruccio Guidi | some missing files ... | blob | commitdiff | raw | diff to current |