coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[ssr] rewrite: turn anomaly into regular error	Enrico Tassi	2018-06-20
*	Merge PR #7524: [ssr] fix after to_constr ~abort_on_undefined_evars was added	Maxime Dénès	2018-05-25
\|\
* \|	Split off Universes functions dealing with generating new universes.	Gaëtan Gilbert	2018-05-17
\| *	[ssr] fix after to_constr ~abort_on_undefined_evars was added	Enrico Tassi	2018-05-16
\|/
*	[api] Rename `global_reference` to `GlobRef.t` to follow kernel style.	Emilio Jesus Gallego Arias	2018-05-04
*	Evar maps contain econstrs.	Gaëtan Gilbert	2018-04-13
*	[econstr] Forbid calling `to_constr` in open terms.	Emilio Jesus Gallego Arias	2018-03-31
*	Merge PR #6893: Cleanup UState API usage	Maxime Dénès	2018-03-08
\|\
* \	Merge PR #6783: ssr: use `apply_type ~typecheck:true` everywhere (fix #6634)	Maxime Dénès	2018-03-08
\|\ \
\| \| *	Deprecate UState aliases in Evd.	Gaëtan Gilbert	2018-03-06
\| \|/ \|/\|
\| *	ssr: use `apply_type ~typecheck:true` everywhere (fix #6634)	Enrico Tassi	2018-03-06
* \|	Merge PR #6896: [compat] Remove NOOP deprecated options.	Maxime Dénès	2018-03-06
\|\ \ \| \|/ \|/\|
* \|	Merge PR #6855: Update headers following #6543.	Maxime Dénès	2018-03-05
\|\ \
\| \| *	[compat] Remove NOOP and alias deprecated options.	Emilio Jesus Gallego Arias	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
*	Deprecate dead option Match Strict (ssr).	Gaëtan Gilbert	2017-12-14
*	[api] Deprecate Term destructors, move to Constr	Emilio Jesus Gallego Arias	2017-11-22
*	[printing] Deprecate all printing functions accessing the global proof.	Emilio Jesus Gallego Arias	2017-11-21
*	[api] Move structures deprecated in the API to the core.	Emilio Jesus Gallego Arias	2017-11-06
*	Efficient fresh name generation relying on sets.	Pierre-Marie Pédrot	2017-09-28
*	Making detyping potentially lazy.	Pierre-Marie Pédrot	2017-09-04
*	[API] Remove `open API` in ml files in favor of `-open API` flag.	Emilio Jesus Gallego Arias	2017-07-17
*	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