coq - The formal proof system

Age	Commit message (Expand)	Author
2021-04-23	Relying on the abstract notion of streams with location for parsing.	Hugo Herbelin
2020-10-27	Rename misc nonterminals	Jim Fehrle
2020-10-04	Remove prefixes on nonterminal names, e.g. "constr:" and "Prim."	Jim Fehrle
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-07-29	Tentatively providing a localization function to ad-hoc camlp5 parsers.	Pierre-Marie Pédrot
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-04-25	[vernac] [ast] Make location info an attribute of vernaculars.	Emilio Jesus Gallego Arias
2019-03-31	Multiple payload types in tokens	Pierre Roux
2019-03-31	[parsing] Split Tok.t into Tok.t and Tok.pattern	Enrico Tassi
2019-02-05	[parsing] Use AST node for main parsing entry.	Emilio Jesus Gallego Arias
2019-01-24	[STM] explicit handling of parsing states	Enrico Tassi
2018-12-11	[api] Move reduction modules to `tactics`	Emilio Jesus Gallego Arias
2018-11-23	Remove the unsafe camlp5 API from the Coq codebase.	Pierre-Marie Pédrot
2018-11-19	[gramlib] Remove unused alias.	Emilio Jesus Gallego Arias
2018-07-07	Introduce a Pcoq.Entry module for functions that ought to be exported.	Pierre-Marie Pédrot
2018-07-07	Remove dead code that used to be there for CamlpX compatibility.	Pierre-Marie Pédrot
2018-05-27	[api] Make `vernac/` self-contained.	Emilio Jesus Gallego Arias