coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #7416: Fix #7415. Printing Width was not applied to error messages.	Emilio Jesus Gallego Arias	2018-05-04
\|\
\| *	Fix #7415. Printing Width was not applied to error messages.	Pierre Courtieu	2018-05-03
* \|	Making explicit that errors happen in one of five executation phases.	Hugo Herbelin	2018-05-02
\|/
*	[toplevel] Respect COQ_COLORS environment variable	Thomas Hebb	2018-03-07
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	[nit] Remove some unnecessary global `open Feedback`	Emilio Jesus Gallego Arias	2018-02-09
*	[toplevel] Properly redirect stdout on `Redirect` vernac.	Emilio Jesus Gallego Arias	2017-11-28
*	Using an algebraic type for distinguishing toplevel input from location in file.	Hugo Herbelin	2017-09-14
*	Adding support for bindings tags to explicit prefix/suffix rather than colors.	Hugo Herbelin	2017-07-08
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Merge branch 'trunk' into located_switch	Emilio Jesus Gallego Arias	2017-05-24
\|\
\| *	Post-rebase warnings (unused opens and 2 unused values)	Gaetan Gilbert	2017-04-27
\| *	Remove some unused values and types	Gaetan Gilbert	2017-04-27
\| *	[toplevel] Use exception information for error printing.	Emilio Jesus Gallego Arias	2017-04-25
* \|	[location] Make location optional in Loc.located	Emilio Jesus Gallego Arias	2017-04-25
\|/
*	[toplevel] [emacs] Don't quote errors in emacs mode.	Emilio Jesus Gallego Arias	2017-04-23
*	[toplevel] Fix #5475	Emilio Jesus Gallego Arias	2017-04-18
*	[toplevel] Remove exception error printer in favor of feedback printer.	Emilio Jesus Gallego Arias	2017-04-05
*	[pp] Add anomaly header to anomaly error messages.	Emilio Jesus Gallego Arias	2017-03-22
*	[pp] Move terminal-specific tagging to the toplevel.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] Remove special tag type and handler from Pp.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias	2017-03-21