coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[API] remove large file containing duplicate interfaces	Enrico Tassi	2017-12-27
*	[ide] [doc] Document tweak to Query call.	Emilio Jesus Gallego Arias	2017-12-26
*	[econstr] Switch constrintern API to non-imperative style.	Emilio Jesus Gallego Arias	2017-12-15
*	[lib] [api] Introduce record for `object_prefix`	Emilio Jesus Gallego Arias	2017-11-29
*	[api] Remove 8.7 ML-deprecated functions.	Emilio Jesus Gallego Arias	2017-11-07
*	Merge PR #6047: A generic printer for ltac values	Maxime Dénès	2017-11-03
\|\
* \	Merge PR #6027: Mention the migration from Bugzilla to GitHub issues in dev/d...	Maxime Dénès	2017-11-03
\|\ \
\| \| *	Using a specific function to register vernac printers.	Hugo Herbelin	2017-11-02
\| \|/ \|/\|
\| *	Mention the migration from Bugzilla to GitHub issues in dev/doc/changes.	Théo Zimmermann	2017-10-27
* \|	Passing around the flag for injection so that tactics calling inj at	Hugo Herbelin	2017-10-26
\|/
*	[configure] Support for flambda flags.	Emilio Jesus Gallego Arias	2017-10-10
*	Extract changes to the XML protocol from its doc	Théo Zimmermann	2017-10-06
*	Move dev/doc/changes to Markdown.	Théo Zimmermann	2017-08-29