| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |