aboutsummaryrefslogtreecommitdiffhomepage
path: root/engine/proofview_monad.ml
Commit message (Expand)AuthorAge
* proofview: goals come with a stateGravatar Enrico Tassi2018-02-20
* deprecate Pp.std_ppcmds type aliasGravatar Matej Košík2017-07-27
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* 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