coq - The formal proof system

Age	Commit message (Collapse)	Author
2019-04-02	Add parsing of decimal constants (e.g., 1.02e+01)	Pierre Roux
	Rather than integers '[0-9]+', numeral constant can now be parsed according to the regexp '[0-9]+ ([.][0-9]+)? ([eE][+-]?[0-9]+)?'. This can be used in one of the two following ways: - using the function `Notation.register_rawnumeral_interpreter` in an OCaml plugin - using `Numeral Notation` with the type `decimal` added to `Decimal.v` See examples of each use case in the next two commits.
2019-04-02	Rename the INT token to NUMERAL	Pierre Roux
	In anticipation of future uses of this token for non integer numerals.
2018-11-23	Only use Coq API in coqpp.	Pierre-Marie Pédrot

2018-07-08	Get rid of horrendous hack limiting the size of parsed integers	Maxime Dénès

2018-06-29	Port g_prim to the homebrew GEXTEND parser.	Pierre-Marie Pédrot