idris-lang/Idris-dev — pull request #827 by david-christiansen (2014-01-31 21:27:26+00:00)
Title: Pretty-printer updates

* Allow the pretty-printer to handle line breaking rather than doing it manually
* Fix highlighting for :t for metavars
* Make the prover respect showimplicits

Fixes #814.