coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	[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.
*	Dualize the unsafe flag of refine into typecheck and make it mandatory.	Pierre-Marie Pédrot	2017-06-13
\|
*	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