coq - The formal proof system

Age	Commit message (Collapse)	Author
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
	Add headers to a few files which were missing them.
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
	Since their introduction, these notations were incorrectly using the proof-local environment.
2019-03-20	Stop accessing proof env via Pfedit in printers	Maxime Dénès
	This should make https://github.com/coq/coq/pull/9129 easier.
2018-09-19	Fix Numeral Notations (1/4 - moving things)	Jason Gross
	Move various things from from numeral.ml to notation.ml and notation.mli; this is required to allow the vernac command to continue living in numeral.ml while preparing to move all of the numeral notation interpretation logic to notation.ml This is commit 1/4 in the fix for #8401. This is a pure cut/paste commit, modulo adding section-heading comments.
2018-08-31	Make Numeral Notation obey Local/Global	Jason Gross
	Thanks to Emilio and Pierre-Marie Pédrot for pointers.
2018-08-31	Move g_numeral.ml4 to numeral.ml	Jason Gross
	As per https://github.com/coq/coq/pull/8064#pullrequestreview-145971522