aboutsummaryrefslogtreecommitdiffhomepage
path: root/engine/logic_monad.mli
Commit message (Expand)AuthorAge
* [error] Replace msg_error by a proper exception.Gravatar Emilio Jesus Gallego Arias2018-02-09
* deprecate Pp.std_ppcmds type aliasGravatar Matej Košík2017-07-27
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Adding a bit of documentation in the mli.Gravatar Pierre-Marie Pédrot2016-06-09
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-19
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-06
* Adding a primitive to the tactic monad to modify the exceptional content.Gravatar Pierre-Marie Pédrot2015-05-07
* Exposing the minimal amount of internal of the Logic monad in order toGravatar Pierre-Marie Pédrot2015-05-06
* Adding a new folder corresponding to the low-level part of the pretyperGravatar Pierre-Marie Pédrot2015-02-27