coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #7107: Fixes #7100: lost of main file location in case of Ltac failu...	Pierre-Marie Pédrot	2018-04-12
\|\
\| *	Fixing #7100 (lost of main file location in case of Ltac failure in other file).	Hugo Herbelin	2018-04-04
* \|	Fix #6404 - Print tactics called by ML tactics	Jason Gross	2018-04-02
\|/
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	[printing] Deprecate all printing functions accessing the global proof.	Emilio Jesus Gallego Arias	2017-11-21
*	[general] Remove Econstr dependency from `intf`	Emilio Jesus Gallego Arias	2017-10-25
*	[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
*	Merge PR#513: A fix to #5414 (ident bound by ltac names now known for "match").	Maxime Dénès	2017-06-14
\|\
* \|	Remove (useless) aliases from the API.	Matej Košík	2017-06-10
\| *	A fix to #5414 (ident bound by ltac names now known for "match").	Hugo Herbelin	2017-06-09
\|/
*	Put all plugins behind an "API".	Matej Kosik	2017-06-07
*	Remove the Sigma (monotonous state) API.	Maxime Dénès	2017-06-06
*	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
\| \|/
\| *	Adding an option "Set Ltac Batch Debug" to additionally run Ltac debug in bat...	Hugo Herbelin	2017-05-04
* \|	[location] Make location optional in Loc.located	Emilio Jesus Gallego Arias	2017-04-25
* \|	[location] Remove Loc.ghost.	Emilio Jesus Gallego Arias	2017-04-25
\|/
*	Merge branch 'v8.6' into trunk	Maxime Dénès	2017-04-15
*	Merge branch 'trunk' into pr379	Maxime Dénès	2017-03-24
*	Ltac as a plugin.	Pierre-Marie Pédrot	2017-02-17