Commit message (Expand) | Author | Age | |
---|---|---|---|
* | deprecate Pp.std_ppcmds type alias | 2017-07-27 | |
* | Adding support for bindings tags to explicit prefix/suffix rather than colors. | 2017-07-08 | |
* | Bump year in headers. | 2017-07-04 | |
* | [toplevel] Use exception information for error printing. | 2017-04-25 | |
* | [toplevel] Remove exception error printer in favor of feedback printer. | 2017-04-05 | |
* | [pp] Add anomaly header to anomaly error messages. | 2017-03-22 | |
* | [pp] Move terminal-specific tagging to the toplevel. | 2017-03-21 | |
* | [pp] Make feedback the only logging mechanism. | 2017-03-21 |