coq - The formal proof system

Age	Commit message (Expand)	Author
2019-05-13	Passing evar_map to evars_of_term rather than expecting the term to be evar-nf.	Hugo Herbelin
2019-05-13	Moving Evd.evars_of_term from constr to econstr + consequences.	Hugo Herbelin
2019-05-10	Make the check flag of conversion functions mandatory.	Pierre-Marie Pédrot
2019-03-27	[geninterp] Track polymorphic status in tactic interpretation.	Emilio Jesus Gallego Arias
2019-03-27	[plugins] [ssr] Adapt to removal of imperative proof state.	Emilio Jesus Gallego Arias
2019-03-20	Stop accessing proof env via Pfedit in printers	Maxime Dénès
2019-03-14	Add relevance marks on binders.	Gaëtan Gilbert
2019-02-08	Change interfaces of evarconv as suggested by Enrico.	Matthieu Sozeau
2019-02-04	Primitive integers	Maxime Dénès
2018-12-09	[doc] Enable Warning 50 [incorrect doc comment] and fix comments.	Emilio Jesus Gallego Arias
2018-11-28	[ltac] Remove aliases already present in the lower layers.	Emilio Jesus Gallego Arias
2018-11-20	Merge PR #9017: Remove SSR profiling	Enrico Tassi
2018-11-17	[ltac] Use CAst nodes in the tactic AST.	Emilio Jesus Gallego Arias
2018-11-16	Remove SSR profiling	Jim Fehrle
2018-11-14	ssrmatching: unify_HO does not resolve type classes	Enrico Tassi
2018-10-30	Avoid passing dummy env to error printer	Maxime Dénès
2018-10-26	[typeclasses] functionalize typeclass evar handling	Matthieu Sozeau
2018-10-26	Cleanup evar_extra: remove evar_info's store and add maps to evar_map	Matthieu Sozeau
2018-10-15	Correct some spelling errors	Benjamin Barenblat
2018-09-19	[ssr] use the right environment in ssrpattern (fix #8454)	Enrico Tassi
2018-09-04	[ssr] anomaly -> error (Fix #8253)	Enrico Tassi
2018-07-29	Adding support for custom entries in notations.	Hugo Herbelin
2018-06-30	Split the Ssrmatching module between code and grammar rules.	Pierre-Marie Pédrot