coq - The formal proof system

Age	Commit message (Expand)	Author
2021-03-22	[cbn internal] env is a regular positional argument	Gaëtan Gilbert
2021-03-06	Inline the refold and tactic_mode flags for the cbn tactic.	Pierre-Marie Pédrot
2021-02-24	Infrastructure for fine-grained debug flags	Maxime Dénès
2021-01-18	Move the only use of strong_with_flags to its single calling module.	Pierre-Marie Pédrot
2021-01-04	Remove redundant univ and parameter info from CaseInvert	Gaëtan Gilbert
2021-01-04	Change the representation of kernel case.	Pierre-Marie Pédrot
2020-10-21	Add missing deprecations in Projection API.	Pierre-Marie Pédrot
2020-10-21	Same little game with Projection.	Pierre-Marie Pédrot
2020-10-21	Deprecate the non-qualified equality functions on kerpairs.	Pierre-Marie Pédrot
2020-10-08	Dropping the misleading int argument of Pp.h.	Hugo Herbelin
2020-07-24	Fixes reduction effect printing in the presence of non purely applicative sta...	Hugo Herbelin
2020-07-06	Primitive persistent arrays	Maxime Dénès
2020-07-01	UIP in SProp	Gaëtan Gilbert
2020-06-04	Move the Cbn module to tactics/.	Pierre-Marie Pédrot