coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	CWarnings.normalize_flags: removed unused ~silent argument.	Gaëtan Gilbert	2018-07-03
*	[warnings] Remove `set_current_loc` hack.	Emilio Jesus Gallego Arias	2018-04-11
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	Improve support for "-w none" compatibility option.	Guillaume Melquiond	2017-09-21
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-07-04
\|\
* \|	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
\| *	Fix bug 5392: Warnings defined in plugins are considered unknown	Maxime Dénès	2017-06-23
\| *	Bump year in headers.	Maxime Dénès	2017-06-01
* \|	[cleanup] Unify all calls to the error function.	Emilio Jesus Gallego Arias	2017-05-27
* \|	Merge branch 'trunk' into located_switch	Emilio Jesus Gallego Arias	2017-05-24
\|\ \
\| * \|	Fix omitted labels in function calls	Gaetan Gilbert	2017-04-27
\| * \|	Remove unused [rec] keywords	Gaetan Gilbert	2017-04-27
* \| \|	[location] Make location optional in Loc.located	Emilio Jesus Gallego Arias	2017-04-25
* \| \|	[location] Remove Loc.ghost.	Emilio Jesus Gallego Arias	2017-04-25
\|/ /
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-11-18
\|\\|
\| *	Fix bug in warnings: -w foo was silent when foo did not exist.	Maxime Dénès	2016-11-14
\| *	Remove an OCaml 4.02 construct.	Maxime Dénès	2016-11-03
\| *	Fix various shortcomings of the warnings infrastructure.	Maxime Dénès	2016-11-02
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-02
\|\\|
\| *	Fix #5061: Warnings flag has no discernible value	Maxime Dénès	2016-09-27
* \|	Make the user_err header an optional parameter.	Emilio Jesus Gallego Arias	2016-08-19
* \|	Unify location handling of error functions.	Emilio Jesus Gallego Arias	2016-08-19
\|/
*	Adding a breaking space in warning names.	Pierre-Marie Pédrot	2016-07-08
*	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey	2016-07-03
*	A new infrastructure for warnings.	Maxime Dénès	2016-06-29