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
*	deprecate Pp.std_ppcmds type alias	Matej Košík	2017-07-27
*	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
*	completing a sentence in a comment	Matej Košík	2017-06-07
*	[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
\|\
* \	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
\|/ /
* \|	A new infrastructure for warnings.	Maxime Dénès	2016-06-29
* \|	Add documentation to the low-level `Pp` functions.	Emilio Jesus Gallego Arias	2016-06-02
\| *	Remove tabulation support from pretty-printing.	Guillaume Melquiond	2016-06-02
\|/
*	Feedback cleanup	Emilio Jesus Gallego Arias	2016-05-31
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-05-09
\|\
\| *	typo	Enrico Tassi	2016-05-04
* \|	In pr_clauses, do not print a leading space by default so that it can	Hugo Herbelin	2016-04-09
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\\|
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Rich printing of messages.	Pierre-Marie Pédrot	2015-09-20
\|/
*	Add a [Redirect] vernacular command	Clément Pit--Claudel	2015-05-04
*	Removing dead code in Pp.	Pierre-Marie Pédrot	2015-04-23
*	Update headers.	Maxime Dénès	2015-01-12
*	msg_info now puts infomsg tag in emacs mode.	Pierre Courtieu	2014-12-16
*	Changed bullet informations to warning for better display in PG.	Pierre Courtieu	2014-12-15
*	Feedback: API cleaned up, documented and made user extensible	Enrico Tassi	2014-11-27
*	Plug the dynamic tags in the Richpp mechanism.	Pierre-Marie Pédrot	2014-11-10
*	Adding a dynamic tag type in Pp.	Pierre-Marie Pédrot	2014-11-10
*	lib/Pp.tag: New.	Regis-Gianas	2014-11-04
*	lib/Pp.rewrite: New.	Regis-Gianas	2014-11-04
*	lib/Pp: Publish combinators for tags opening and closing.	Regis-Gianas	2014-11-04
*	Feedback message: hold extra info to help routing	Enrico Tassi	2014-10-31
*	STM: encapsulate Pp.message in Feedback.feedback	Carst Tankink	2014-08-04
*	make the standard logging facility stm aware	Enrico Tassi	2014-07-11
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25
*	Remove many superfluous 'open' indicated by ocamlc -w +33	Pierre Letouzey	2014-03-05