coq - The formal proof system

Age	Commit message (Expand)	Author
2020-11-05	Merge numeral and string notation plugins	Pierre Roux
2020-11-05	[numeral notation] Add support for parameterized inductives	Pierre Roux
2020-11-05	[numeral notation] Handle implicit arguments	Pierre Roux
2020-11-04	[numeral notation] Adding the via ... using ... option	Pierre Roux
2020-11-04	[numeral notation] Add a pre/postprocessing	Pierre Roux
2020-10-30	Renaming Numeral into Number	Pierre Roux
2020-10-30	Renaming numnotoption into number_modifier	Pierre Roux
2020-10-30	Renaming Numeral.v into Number.v	Pierre Roux
2020-05-09	Add hexadecimal numerals	Pierre Roux
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-08-19	[api] Move handling of variable implicit data to impargs	Emilio Jesus Gallego Arias
2019-07-08	[api] Deprecate GlobRef constructors.	Emilio Jesus Gallego Arias
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-05-24	Use global env in numeral and string notations	Maxime Dénès
2019-04-02	Add parsing of decimal constants (e.g., 1.02e+01)	Pierre Roux
2019-03-20	Stop accessing proof env via Pfedit in printers	Maxime Dénès
2019-02-04	Primitive integers	Maxime Dénès
2019-01-25	[Numeral notations] Lazy resolution of decimal types	Vincent Laporte
2019-01-25	[Numeral notations] Use Coqlib registered constants	Vincent Laporte
2018-11-28	Factor out common code in numeral/string notations	Jason Gross
2018-09-19	Fix Numeral Notations (4/4 - fixing synch)	Jason Gross
2018-09-19	Fix Numeral Notations (3/4 - moving more stuff)	Jason Gross
2018-09-19	Fix Numeral Notations (2/4 - exceptions, usr_err)	Jason Gross
2018-09-19	Fix Numeral Notations (1/4 - moving things)	Jason Gross
2018-08-31	Make Numeral Notation obey Local/Global	Jason Gross
2018-08-31	[numeral notations] support aliases	Jason Gross
2018-08-31	Add Numeral Notation GlobRef printing/parsing	Jason Gross
2018-08-31	Add periods in response to PR comments	Jason Gross
2018-08-31	Move g_numeral.ml4 to numeral.ml	Jason Gross