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] Handle implicit arguments	Pierre Roux
2020-11-04	[numeral notation] Adding the via ... using ... option	Pierre Roux
2020-10-30	Renaming numnotoption into number_modifier	Pierre Roux
2020-10-27	Rename misc nonterminals	Jim Fehrle
2020-09-11	Rename Numeral Notation command to Number Notation	Pierre Roux
2020-03-22	Centralizing all kinds of numeral string management in numTok.ml.	Hugo Herbelin
2020-03-22	Adding bignat to parse positive numbers; bigint now includes negative ints.	Hugo Herbelin
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
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-05-03	Fix #10054: Numeral Notations without the ltac plugin.	Pierre-Marie Pédrot
2019-03-27	[coqpp] [ltac] Adapt to removal of imperative proof state.	Emilio Jesus Gallego Arias
2019-03-20	Stop accessing proof env via Pfedit in printers	Maxime Dénès
2018-11-02	coqpp VERNAC EXTEND uses #[ att = attribute; ] syntax	Gaëtan Gilbert
2018-11-02	Command driven attributes.	Gaëtan Gilbert
2018-11-02	Move attributes out of vernacinterp to new attributes module	Gaëtan Gilbert
2018-10-15	Port remaining EXTEND ml4 files to coqpp.	Pierre-Marie Pédrot