coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	Improving spacing in printing disjunctive patterns.	Hugo Herbelin	2017-12-12
*	[pp] Minor optimization in `Pp.t` construction and gluing.	Emilio Jesus Gallego Arias	2017-10-05
*	deprecate Pp.std_ppcmds type alias	Matej Košík	2017-07-27
*	Merge PR #898: [pp] Fix bugs 5651 [incorrect thunk in pretty printer]	Maxime Dénès	2017-07-20
\|\
\| *	[pp] Fix bugs 5651 [incorrect thunk in pretty printer]	Emilio Jesus Gallego Arias	2017-07-19
* \|	format pairs of items for pr_depth to get alternating separators	Paul Steckler	2017-07-12
\|/
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	[toplevel] Remove exception error printer in favor of feedback printer.	Emilio Jesus Gallego Arias	2017-04-05
*	[pp] Hide the internal representation of `std_ppcmds`.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] [ide] Minor cleanups in pp code.	Emilio Jesus Gallego Arias	2017-03-21
*	[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
*	[pp] Remove redundant white spacing pp construct.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] Force well-formed boxes by construction.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] Force well-tagged docs by construction.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] Implement n-ary glue.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] Make pp public to allow serialization.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] Prepare for serialization, remove opaque glue.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] Remove `Pp.stras`.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] Replace `Pp.Tag` by `Ppstyle.tag` = `string list`	Emilio Jesus Gallego Arias	2017-03-21
*	Merge PR#189: Remove tabulation support from pretty-printing.	Maxime Dénès	2017-02-20
\|\
* \|	Removing a special treatment for empty lines in comments.	Hugo Herbelin	2016-11-05
* \|	Merge PR #224 into v8.6	Pierre-Marie Pédrot	2016-10-12
\|\ \
* \| \|	Moving Pp.comments to CLexer so that Pp is purer (no more side-effect	Hugo Herbelin	2016-10-09
\| * \|	[pp] Remove duplicate color logger.	Emilio Jesus Gallego Arias	2016-09-30
\|/ /
* \|	Fixing the printing of unknown locations by adding a newline.	Pierre-Marie Pédrot	2016-07-08
* \|	A new infrastructure for warnings.	Maxime Dénès	2016-06-29
\| *	Remove tabulation support from pretty-printing.	Guillaume Melquiond	2016-06-02
\|/
*	Feedback cleanup	Emilio Jesus Gallego Arias	2016-05-31
*	Dyn: simplify API introducing an Easy submodule	Enrico Tassi	2016-05-13
*	In pr_clauses, do not print a leading space by default so that it can	Hugo Herbelin	2016-04-09
*	Removing OCaml deprecated function names from the Lazy module.	Pierre-Marie Pédrot	2016-03-10
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Factorizing unsafe code by relying on the new Dyn module.	Pierre-Marie Pédrot	2015-12-05
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-19
\|\\|
\| *	Fixed #4274, bad formatting of messages in emacs mode.	Pierre Courtieu	2015-10-19
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-02
\|\\|
\| *	emacs output mode: Added <infomsg> tag to debug messages.	Pierre Courtieu	2015-10-02
* \|	Rich printing of messages.	Pierre-Marie Pédrot	2015-09-20
\|/
*	Add a [Redirect] vernacular command	Clément Pit--Claudel	2015-05-04
*	Remove almost all the uses of string concatenation when building error messages.	Guillaume Melquiond	2015-04-23
*	Removing dead code in Pp.	Pierre-Marie Pédrot	2015-04-23
*	Pp: obsolete comment.	Arnaud Spiwack	2015-04-22
*	Do not use list concatenation when gluing streams together, just mark them as...	Guillaume Melquiond	2015-04-22
*	Fixing printing of ordinals.	Pierre-Marie Pédrot	2015-02-26
*	Removing dead code.	Pierre-Marie Pédrot	2015-02-02
*	Update headers.	Maxime Dénès	2015-01-12