coq - The formal proof system

Age	Commit message (Expand)	Author
2021-04-06	Uniformizing the "already exists" messages	Hugo Herbelin
2021-01-28	vernac/declaremods: make object collection tail-recursive	Gabriel Scherer
2020-06-30	[declaremods] Remove abstraction of imperative module operations	Emilio Jesus Gallego Arias
2020-04-20	Remove mod_constraints field of module body	Gaëtan Gilbert
2020-04-13	correctly open objects for Names filters	Gaëtan Gilbert
2020-04-13	pass filters around	Gaëtan Gilbert
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2020-03-03	[exninfo] Deprecate aliases for exception re-raising.	Emilio Jesus Gallego Arias
2019-12-13	Use ~strict argument consistently in push_context/push_context_set intfs	Matthieu Sozeau
2019-11-05	Forbid Include inside sections	Gaëtan Gilbert
2019-10-31	[prettyp] remove `mod_ops` and `indirect_accessor` parameters	Gaëtan Gilbert
2019-10-14	Remove obj_sec field of Nametab.obj_prefix record.	Gaëtan Gilbert
2019-09-18	[declaremods] Remove abstraction layer over module interpretation.	Emilio Jesus Gallego Arias
2019-09-18	[library] Move `Declaremods` to `vernac/`	Emilio Jesus Gallego Arias