coq - The formal proof system

Age	Commit message (Expand)	Author
2020-12-21	Move evaluable_global_reference from Names to Tacred.	Pierre-Marie Pédrot
2020-11-20	Granting #9816: apply in takes several hypotheses.	Hugo Herbelin
2020-09-22	Fixes #9716, #13004: don't drop the qualifier of quotations at printing time.	Hugo Herbelin
2020-05-30	Remove info tactic, deprecated in 8.5	Jim Fehrle
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-05-23	Fixing typos - Part 2	JPR
2019-04-29	Exposing a change_no_check tactic.	Hugo Herbelin
2018-12-17	Merge PR #9153: [api] Move reduction modules to `tactics`	Pierre-Marie Pédrot
2018-12-11	[api] Move reduction modules to `tactics`	Emilio Jesus Gallego Arias
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-17	[ltac] Use CAst nodes in the tactic AST.	Emilio Jesus Gallego Arias
2018-10-06	[api] Remove (most) 8.9 deprecated objects.	Emilio Jesus Gallego Arias
2018-09-23	[api] Deprecate constructors of deprecated datatypes.	Emilio Jesus Gallego Arias
2018-07-12	Tactic deprecation machinery	Maxime Dénès
2018-06-18	Remove reference name type.	Maxime Dénès
2018-06-12	[api] Remove Misctypes.	Emilio Jesus Gallego Arias
2018-06-12	[api] Misctypes removal: move Tactypes to proofs	Emilio Jesus Gallego Arias
2018-06-12	[api] Misctypes removal: several moves:	Emilio Jesus Gallego Arias
2018-06-12	[api] Misctypes removal: multi to tactics/rewrite	Emilio Jesus Gallego Arias
2018-05-01	[api] Move bullets and goals selectors to `proofs/`	Emilio Jesus Gallego Arias
2018-04-29	Strict focusing using Default Goal Selector.	Gaëtan Gilbert
2018-04-02	[api] Move some types to their proper module.	Emilio Jesus Gallego Arias
2018-03-10	[ssreflect] Fix module scoping problems due to packing and mli files.	Emilio Jesus Gallego Arias