coq - The formal proof system

Age	Commit message (Expand)	Author
2018-07-25	[ssr] assertion -> error message (Fix #8134)	Enrico Tassi
2018-06-22	[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-05-30	[api] Remove deprecated object from `Term`	Emilio Jesus Gallego Arias
2018-04-16	Merge PR #7237: [ssr] fix delayed clears (fix #7045)	Maxime Dénès
2018-04-13	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-04	ssr: check cleared hyps do exist (fix #7050)	Enrico Tassi
2018-03-31	[econstr] Forbid calling `to_constr` in open terms.	Emilio Jesus Gallego Arias
2018-03-05	Merge PR #6855: Update headers following #6543.	Maxime Dénès
2018-03-04	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-02-27	Update headers following #6543.	Théo Zimmermann
2018-02-16	apply_type: add option "typecheck" passed down to refine	Enrico Tassi
2017-11-21	[printing] Deprecate all printing functions accessing the global proof.	Emilio Jesus Gallego Arias
2017-07-17	[API] Remove `open API` in ml files in favor of `-open API` flag.	Emilio Jesus Gallego Arias
2017-06-16	Removing Proof_type from the API.	Pierre-Marie Pédrot
2017-06-13	Dualize the unsafe flag of refine into typecheck and make it mandatory.	Pierre-Marie Pédrot
2017-06-10	Remove (useless) aliases from the API.	Matej Košík
2017-06-07	Put "ssreflect" behind "API".	Matej Košík
2017-06-06	Merge the ssr plugin.	Maxime Dénès