Commit message (Expand) | Author | Age | |
---|---|---|---|
* | errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod... | 2016-07-03 | |
* | Optimize the clear tactic. | 2016-06-24 | |
* | Optimize the clear tactic. | 2016-06-24 | |
* | Document new Hint Mode option. | 2016-06-16 | |
* | Removing dead code and unused opens. | 2016-05-08 | |
* | Moving Evarutil and Proofview to engine/ | 2016-03-20 |