Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Post-rebase warnings (unused opens and 2 unused values) | Gaetan Gilbert | 2017-04-27 |
* | Remove some unused values and types | Gaetan Gilbert | 2017-04-27 |
* | [toplevel] Use exception information for error printing. | Emilio Jesus Gallego Arias | 2017-04-25 |
* | [toplevel] [emacs] Don't quote errors in emacs mode. | Emilio Jesus Gallego Arias | 2017-04-23 |
* | [toplevel] Fix #5475 | Emilio Jesus Gallego Arias | 2017-04-18 |
* | [toplevel] Remove exception error printer in favor of feedback printer. | Emilio Jesus Gallego Arias | 2017-04-05 |
* | [pp] Add anomaly header to anomaly error messages. | Emilio Jesus Gallego Arias | 2017-03-22 |
* | [pp] Move terminal-specific tagging to the toplevel. | Emilio Jesus Gallego Arias | 2017-03-21 |
* | [pp] Remove special tag type and handler from Pp. | Emilio Jesus Gallego Arias | 2017-03-21 |
* | [pp] Make feedback the only logging mechanism. | Emilio Jesus Gallego Arias | 2017-03-21 |