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