coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Merge PR #6855: Update headers following #6543.	Maxime Dénès	2018-03-05
\|\
\| *	Update headers following #6543.	Théo Zimmermann	2018-02-27
\| \|
* \|	proofview: goals come with a state	Enrico Tassi	2018-02-20
\|/
*	deprecate Pp.std_ppcmds type alias	Matej Košík	2017-07-27
\|
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
\|
*	Adding a bit of documentation in the mli.	Pierre-Marie Pédrot	2016-06-09
\|
*	Making Proofview independent of Logic.	Pierre-Marie Pédrot	2016-03-20
\|
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-12-11
\|
*	Moving Proofview_monad to the engine/ folder.	Pierre-Marie Pédrot	2015-02-28