coq - The formal proof system

Age	Commit message (Expand)	Author
2018-11-19	Merge PR #9003: [vernacextend] Consolidate extension points API	Pierre-Marie Pédrot
2018-11-17	[vernacextend] Consolidate extension points API	Emilio Jesus Gallego Arias
2018-11-16	Print Universes Subgraph	Gaëtan Gilbert
2018-11-06	Move debug term printer to kernel	Maxime Dénès
2018-10-10	[coqlib] Rebindable Coqlib namespace.	Emilio Jesus Gallego Arias
2018-09-23	[api] Deprecate constructors of deprecated datatypes.	Emilio Jesus Gallego Arias
2018-09-14	Register: simpler syntax	Vincent Laporte
2018-09-14	Retroknowledge: use GlobRef.t instead of Constr.t as entry	Vincent Laporte
2018-09-10	Adding a command "Declare Scope" and deprecating scope implicit declaration.	Hugo Herbelin
2018-07-29	Renaming ETName and ETReference so as to fit the user-visible terminology.	Hugo Herbelin
2018-07-29	Adding support for custom entries in notations.	Hugo Herbelin
2018-07-03	[vernac] use plain strings as attribute names	Vincent Laporte
2018-07-03	[vernac] Generic syntax for flags/attributes	Vincent Laporte
2018-07-03	[vernac] Add a “deprecated” attribute	Vincent Laporte
2018-07-03	[vernac] Concrete syntax for attributes	Vincent Laporte
2018-07-02	hints: add Hint Variables/Constants Opaque/Transparent commands	Matthieu Sozeau
2018-06-18	Remove reference name type.	Maxime Dénès
2018-06-12	[api] Misctypes removal: several moves:	Emilio Jesus Gallego Arias
2018-06-04	Merge PR #7655: Refactor parsing rules for Hint Resolve -> and Hint Resolve <-	Pierre-Marie Pédrot
2018-05-31	Refactor parsing rules for Hint Resolve -> and Hint Resolve <-	Armaël Guéneau
2018-05-31	[notations] Split interpretation and parsing of notations	Emilio Jesus Gallego Arias
2018-05-31	[api] Move `Constrexpr` to the `interp` module.	Emilio Jesus Gallego Arias
2018-05-27	[api] Make `vernac/` self-contained.	Emilio Jesus Gallego Arias
2018-05-27	[api] [parsing] Move Egram* to `vernac/`	Emilio Jesus Gallego Arias