Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Rewriting the proof monad mechanism. Now it uses pure OCaml code, without | 2014-05-06 | |
* | Revert "Rewriting the proof monad mechanism. Now it uses pure OCaml code, wit... | 2014-01-06 | |
* | Fixing backtrace registering of various tactic-related try-with blocks. | 2013-12-11 | |
* | Rewriting the proof monad mechanism. Now it uses pure OCaml code, without | 2013-11-07 | |
* | Replaced monads.ml by an essentially equivalent proofview_gen.ml generated by... | 2013-11-02 |