coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	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
*	Fixed bad newlines in output for std output and emacs.	Pierre Courtieu	2014-12-18
*	msg_info now puts infomsg tag in emacs mode.	Pierre Courtieu	2014-12-16
*	Getting rid of Exninfo hacks.	Pierre-Marie Pédrot	2014-12-16
*	Changed bullet informations to warning for better display in PG.	Pierre Courtieu	2014-12-15
*	Switch the few remaining iso-latin-1 files to utf8	Pierre Letouzey	2014-12-09
*	Feedback: API cleaned up, documented and made user extensible	Enrico Tassi	2014-11-27
*	Removing deprecated code handling color in Pp.	Pierre-Marie Pédrot	2014-11-15
*	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
*	lib/Pp.ppcmd_token:	Regis-Gianas	2014-11-04
*	lib/Pp: Cosmetics.	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
*	Pp: only one default feedback id	Enrico Tassi	2014-07-29
*	make the standard logging facility stm aware	Enrico Tassi	2014-07-11
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25
*	Fix output test-suite 'simpl tactic' -> 'reduction tactics'	Pierre Boutillier	2014-02-28
*	Tracking memory misallocation by trying to improve sharing.	Pierre-Marie Pédrot	2014-02-03
*	Do not compute formatter UTF8 length at creation time.	ppedrot	2013-11-08
*	Some more hand-written comparison functions to avoid polymorphic comparison.	xclerc	2013-10-14
*	Coqide ported to STM	gareuselesinge	2013-08-08