aboutsummaryrefslogtreecommitdiffhomepage
path: root/engine/logic_monad.mli
Commit message (Expand)AuthorAge
* 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