coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[vernac] Move `Quit` and `Drop` to the toplevel layer.	Emilio Jesus Gallego Arias	2018-03-11
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	Merge PR #6117: Fix printing anomaly in conv	Maxime Dénès	2017-11-13
\|\
\| *	Fixing an (apparently misplaced) spc in anomaly reporting message.	Hugo Herbelin	2017-11-08
* \|	[api] Remove 8.7 ML-deprecated functions.	Emilio Jesus Gallego Arias	2017-11-07
\|/
*	deprecate Pp.std_ppcmds type alias	Matej Košík	2017-07-27
*	Drop '.' from CErrors.anomaly, insert it in args	Jason Gross	2017-06-02
*	[cleanup] Unify all calls to the error function.	Emilio Jesus Gallego Arias	2017-05-27
*	Fix 4.04 warnings	Gaetan Gilbert	2017-04-27
*	[pp] Add anomaly header to anomaly error messages.	Emilio Jesus Gallego Arias	2017-03-22
*	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias	2017-03-21
*	[error] Move back fatal_error to toplevel	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] Replace `Pp.Tag` by `Ppstyle.tag` = `string list`	Emilio Jesus Gallego Arias	2017-03-21
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-29
\|\
\| *	[pp] Try to properly tag error messages in cError.	Emilio Jesus Gallego Arias	2016-10-18
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-02
\|\\|
\| *	fix bug 3683 : adds references to the web site for the bug tracker	Yves Bertot	2016-09-29
* \|	Make the user_err header an optional parameter.	Emilio Jesus Gallego Arias	2016-08-19
* \|	Remove errorlabstrm in favor of user_err	Emilio Jesus Gallego Arias	2016-08-19
* \|	Unify location handling of error functions.	Emilio Jesus Gallego Arias	2016-08-19
\|/
*	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey	2016-07-03