coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #6898: [compat] Remove "Intuition Iff Unfolding"	Maxime Dénès	2018-03-06
\|\
\| *	[compat] Remove "Intuition Iff Unfolding"	Emilio Jesus Gallego Arias	2018-03-03
* \|	Update headers following #6543.	Théo Zimmermann	2018-02-27
\|/
*	[ast] Improve precision of Ast location recognition in serialization.	Emilio Jesus Gallego Arias	2018-02-22
*	[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#794: Cleanup of ltac cmxs	Maxime Dénès	2017-06-23
\|\
\| *	plugins/ltac : avoid spurious .cmxs files	Pierre Letouzey	2017-06-15
* \|	Deprecate options that were introduced for compatibility with 8.2.	Guillaume Melquiond	2017-06-14
* \|	Remove support for Coq 8.2.	Guillaume Melquiond	2017-06-14
\|/
*	Remove (useless) aliases from the API.	Matej Košík	2017-06-10
*	Put all plugins behind an "API".	Matej Kosik	2017-06-07
*	Ltac cleanup: no more constr_of_global calls	Matthieu Sozeau	2017-05-29
*	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
\| \|/
\| *	Fix 4.04 warnings	Gaetan Gilbert	2017-04-27
\| *	Add [_] prefix to unused values which maybe should be kept	Gaetan Gilbert	2017-04-27
* \|	[location] Remove Loc.ghost.	Emilio Jesus Gallego Arias	2017-04-25
* \|	[location] Use located in tactics.	Emilio Jesus Gallego Arias	2017-04-24
\|/
*	Merge branch 'trunk' into pr379	Maxime Dénès	2017-03-24
*	Merge PR#432: [cleanup] Change Id.t option to Name.t in TacFun	Maxime Dénès	2017-03-14
*	Ltac as a plugin.	Pierre-Marie Pédrot	2017-02-17