coq - The formal proof system

Age	Commit message (Expand)	Author
2020-03-25	[pcoq] Inline the exported Gramlib interface instead of exposing it as G	Emilio Jesus Gallego Arias
2020-03-25	[parsing] Remove redundant interfaces from Pcoq	Emilio Jesus Gallego Arias
2020-03-25	[parsing] Remove extend AST in favor of gramlib constructors	Emilio Jesus Gallego Arias
2020-03-25	[parsing] Make grammar rules private.	Emilio Jesus Gallego Arias
2020-03-25	[parsing] Make grammar extension type private.	Emilio Jesus Gallego Arias
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2020-02-21	[parsing] Track need to reinit by typing	Emilio Jesus Gallego Arias
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-03-31	Multiple payload types in tokens	Pierre Roux
2018-10-02	Pass unnamed arguments to ML macros.	Pierre-Marie Pédrot
2018-07-12	Statically typecheck the VERNAC EXTEND wrapper.	Pierre-Marie Pédrot
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