aboutsummaryrefslogtreecommitdiffhomepage
path: root/engine/proofview_monad.mli
Commit message (Expand)AuthorAge
* Adding a bit of documentation in the mli.Gravatar Pierre-Marie Pédrot2016-06-09
* Making Proofview independent of Logic.Gravatar Pierre-Marie Pédrot2016-03-20
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-12-11
* Moving Proofview_monad to the engine/ folder.Gravatar Pierre-Marie Pédrot2015-02-28