aboutsummaryrefslogtreecommitdiffhomepage
path: root/engine/proofview_monad.ml
Commit message (Expand)AuthorAge
* Making Proofview independent of Logic.Gravatar Pierre-Marie Pédrot2016-03-20
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
* Remove some unused functions.Gravatar Guillaume Melquiond2016-01-02
* 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