coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[ssr] implement {}/v as a short hand for {v}/v when v is an id	Enrico Tassi	2018-06-22
*	[ssr] simplify delayed clears	Enrico Tassi	2018-06-22
*	[api] Remove deprecated object from `Term`	Emilio Jesus Gallego Arias	2018-05-30
*	Merge PR #7237: [ssr] fix delayed clears (fix #7045)	Maxime Dénès	2018-04-16
\|\
* \|	Evar maps contain econstrs.	Gaëtan Gilbert	2018-04-13
* \|	Merge PR #6454: [econstr] Flag to make `to_constr` fail if its output contain...	Pierre-Marie Pédrot	2018-04-13
\|\ \
\| \| *	[ssr] fix delayed clears (fix #7045)	Enrico Tassi	2018-04-13
\| \|/ \|/\|
* \|	ssr: check cleared hyps do exist (fix #7050)	Enrico Tassi	2018-04-04
\| *	[econstr] Forbid calling `to_constr` in open terms.	Emilio Jesus Gallego Arias	2018-03-31
\|/
*	Merge PR #6855: Update headers following #6543.	Maxime Dénès	2018-03-05
\|\
* \|	ssr: ipats: V82.tactic ~nf_evars:false everywhere	Enrico Tassi	2018-03-04
* \|	ssr: rewrite Ssripats and Ssrview in the tactic monad	Enrico Tassi	2018-03-04
\| *	Update headers following #6543.	Théo Zimmermann	2018-02-27
\|/
*	apply_type: add option "typecheck" passed down to refine	Enrico Tassi	2018-02-16
*	[printing] Deprecate all printing functions accessing the global proof.	Emilio Jesus Gallego Arias	2017-11-21
*	[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
*	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