coq - The formal proof system

Age	Commit message (Expand)	Author
2020-09-27	Avoid lookup up too many characters.	Guillaume Melquiond
2020-09-27	Make "xxx:{{" always start a quotation, whether registered or not.	Guillaume Melquiond
2020-09-11	[parsing] Rename token NUMERAL to NUMBER	Pierre Roux
2020-03-25	[parsing] Move `coq_parsable` custom logic to Grammar.	Emilio Jesus Gallego Arias
2020-03-22	Centralizing all kinds of numeral string management in numTok.ml.	Hugo Herbelin
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-11-21	[coq] Untabify the whole ML codebase.	Emilio Jesus Gallego Arias
2019-08-29	Fix a few wrong uses of `msg_notice`	Maxime Dénès
2019-08-02	[lexer]: improve error message on loct_func misuse	Enrico Tassi
2019-06-24	Merge PR #10375: [lexer] correctly update line number when lexing QUOTATION (...	Pierre-Marie Pédrot
2019-06-18	[lexer] correctly update line number when lexing QUOTATION (fix #10350)	Enrico Tassi
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-04-02	Add parsing of decimal constants (e.g., 1.02e+01)	Pierre Roux
2019-04-02	Rename the INT token to NUMERAL	Pierre Roux
2019-03-31	Multiple payload types in tokens	Pierre Roux
2019-03-31	[parsing] add keyword-protected generic quotation	Enrico Tassi
2019-03-31	[parsing] Split Tok.t into Tok.t and Tok.pattern	Enrico Tassi
2019-03-29	[parser] initialization based on Loc.t rather than Loc.source	Enrico Tassi
2018-12-20	Make diffs work for more input strings	Jim Fehrle
2018-12-05	Removing dead fields from Plexing.lexer.	Pierre-Marie Pédrot
2018-11-30	[gramlib] Remove `Ploc.t` in favor of `Loc.t`	Emilio Jesus Gallego Arias
2018-11-21	[gramlib] [build] Switch make-based system to packed gramlib	Emilio Jesus Gallego Arias
2018-11-04	Remove the deprecated Token module and port the corresponding code.	Pierre-Marie Pédrot
2018-10-18	Removing the Camlp5 macros from CLexer.	Pierre-Marie Pédrot