idris-lang/Idris-dev — pull request #1371 by david-christiansen (2014-07-09 22:43:18+00:00)
Title: Prover output color

This makes the prover follow the IDESlave protocol better. It also adds support for :doc, which is perhaps most useful in the IDE. :search is on the way.