| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-05-02 | Making explicit that errors happen in one of five executation phases. | Hugo Herbelin |
| 2018-03-07 | [toplevel] Respect COQ_COLORS environment variable | Thomas Hebb |
| 2018-02-27 | Update headers following #6543. | Théo Zimmermann |
| 2017-07-27 | deprecate Pp.std_ppcmds type alias | Matej Košík |
| 2017-07-08 | Adding support for bindings tags to explicit prefix/suffix rather than colors. | Hugo Herbelin |
| 2017-07-04 | Bump year in headers. | Pierre-Marie Pédrot |
| 2017-04-25 | [toplevel] Use exception information for error printing. | Emilio Jesus Gallego Arias |
| 2017-04-05 | [toplevel] Remove exception error printer in favor of feedback printer. | Emilio Jesus Gallego Arias |
| 2017-03-22 | [pp] Add anomaly header to anomaly error messages. | Emilio Jesus Gallego Arias |
| 2017-03-21 | [pp] Move terminal-specific tagging to the toplevel. | Emilio Jesus Gallego Arias |
| 2017-03-21 | [pp] Make feedback the only logging mechanism. | Emilio Jesus Gallego Arias |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |