index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
engine
/
proofview_monad.mli
Age
Commit message (
Expand
)
Author
2020-09-07
Refine test for unresolved evars: not reachable from initial evars
Matthieu Sozeau
2020-09-01
Unify the shelves
Maxime Dénès
2020-08-26
Move given_up goals to evar_map
Maxime Dénès
2020-03-18
Update headers in the whole code base.
Théo Zimmermann
2019-06-17
Update ml-style headers to new year.
Théo Zimmermann
2019-05-21
Fixing typos - Part 1
JPR
2019-02-12
[tactics] Remove dependency of abstract on global proof state.
Emilio Jesus Gallego Arias
2018-12-13
[engine] Allow debug printers to access the environment.
Emilio Jesus Gallego Arias
2018-03-05
Merge PR #6855: Update headers following #6543.
Maxime Dénès
2018-02-27
Update headers following #6543.
Théo Zimmermann
2018-02-20
proofview: goals come with a state
Enrico Tassi
2017-07-27
deprecate Pp.std_ppcmds type alias
Matej Košík
2017-07-04
Bump year in headers.
Pierre-Marie Pédrot
2016-06-09
Adding a bit of documentation in the mli.
Pierre-Marie Pédrot
2016-03-20
Making Proofview independent of Logic.
Pierre-Marie Pédrot
2016-01-21
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-12-11
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-02-28
Moving Proofview_monad to the engine/ folder.
Pierre-Marie Pédrot
