coq - The formal proof system

Age	Commit message (Collapse)	Author
2019-04-02	Allow underscores as comments in numeral constants.	Pierre Roux
	The numerals lexed are now [0-9][0-9_]* ([.][0-9_]+)? ([eE][+-]?[0-9][0-9_]*)?
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.