coq - The formal proof system

Age	Commit message (Expand)	Author
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2020-03-04	Adding support for an "only parsing" modifier in "where"-based notations.	Hugo Herbelin
2019-12-02	Remove deprecated compat modifier of Notation / Infix commands.	Théo Zimmermann
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-06-06	`deprecated` attribute support for notations and syntactic definitions	Maxime Dénès
2019-05-10	Use Print Custom Grammar to inspect custom entries	Jasper Hugunin
2018-09-10	Support for Local flag in Declare Scope, Undelimit/Delimit Scope, Bind Scope.	Hugo Herbelin
2018-09-10	Adding a command "Declare Scope" and deprecating scope implicit declaration.	Hugo Herbelin
2018-07-29	Supporting locality flag for custom entries + compatibility with modules.	Hugo Herbelin
2018-07-29	Adding support for custom entries in notations.	Hugo Herbelin
2018-06-12	[api] Misctypes removal: miscellaneous aliases.	Emilio Jesus Gallego Arias
2018-02-27	Update headers following #6543.	Théo Zimmermann
2018-02-22	[ast] Improve precision of Ast location recognition in serialization.	Emilio Jesus Gallego Arias
2018-02-20	Moving Metasyntax.register_grammar to Pcoq for usability in Egramcoq.	Hugo Herbelin
2018-02-17	Change references to CAMLP4 to CAMLP5 to be more accurate since we no	Jim Fehrle
2017-10-05	Fixing #5762 (supporting imp. args. in "where" clause of an inductive def.).	Hugo Herbelin
2017-07-27	deprecate Pp.std_ppcmds type alias	Matej Košík
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2017-02-15	[stm] Break stm/toplevel dependency loop.	Emilio Jesus Gallego Arias