coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	[api] Move structures deprecated in the API to the core.	Emilio Jesus Gallego Arias	2017-11-06
\| \| \| \|	We do up to `Term` which is the main bulk of the changes.
*	deprecate Pp.std_ppcmds type alias	Matej Košík	2017-07-27
\|
*	[API] Remove `open API` in ml files in favor of `-open API` flag.	Emilio Jesus Gallego Arias	2017-07-17
\|
*	Removing Proof_type from the API.	Pierre-Marie Pédrot	2017-06-16
\| \| \| \| \| \| \|	Unluckily, this forces replacing a lot of code in plugins, because the API defined the type of goals and tactics in Proof_type, and by the no-alias rule, this was the only one. But Proof_type was already implicitly deprecated, so that the API should have relied on Tacmach instead.
*	Remove (useless) aliases from the API.	Matej Košík	2017-06-10
\|
*	Put "ssreflect" behind "API".	Matej Košík	2017-06-07
\|
*	Merge the ssr plugin.	Maxime Dénès	2017-06-06