coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	Merge PR #6381: A version of [time] that works on constr evaluation	Maxime Dénès	2017-12-18
\|\
* \	Merge PR #6411: Fix #5081 by more fine-grained LtacProf recording	Maxime Dénès	2017-12-18
\|\ \
\| \| *	Add named timers to LtacProf	Jason Gross	2017-12-14
\| \|/ \|/\|
\| *	Fix #5081 by more fine-grained LtacProf recording	Jason Gross	2017-12-12
* \|	Use msg_info for LtacProf	Jason Gross	2017-12-11
\|/
*	[stm] Switch to a functional API	Emilio Jesus Gallego Arias	2017-10-06
*	[API] Remove `open API` in ml files in favor of `-open API` flag.	Emilio Jesus Gallego Arias	2017-07-17
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Remove (useless) aliases from the API.	Matej Košík	2017-06-10
*	Put all plugins behind an "API".	Matej Kosik	2017-06-07
*	Drop '.' from CErrors.anomaly, insert it in args	Jason Gross	2017-06-02
*	Merge PR#481: [option] Remove support for non-synchronous options.	Maxime Dénès	2017-05-25
\|\
* \	Merge branch 'trunk' into located_switch	Emilio Jesus Gallego Arias	2017-05-24
\|\ \
\| \| *	[option] Remove support for non-synchronous options.	Emilio Jesus Gallego Arias	2017-05-24
\| \|/
\| *	Remove some unused values and types	Gaetan Gilbert	2017-04-27
* \|	[location] Remove Loc.ghost.	Emilio Jesus Gallego Arias	2017-04-25
\|/
*	[stm] Remove edit_id.	Emilio Jesus Gallego Arias	2017-04-12
*	[safe-string] ltac/profile_ltac	Emilio Jesus Gallego Arias	2017-03-14
*	Ltac as a plugin.	Pierre-Marie Pédrot	2017-02-17