idris-hackers/idris-mode — pull request #284 by david-christiansen (2014-12-30 22:02:04+00:00)
Title: Prover UI improvements

This fixes #277. It also improves the positioning of the cursor when advancing through a proof script and makes error messages a bit more consistent. Finally, there's some code cleanup and removal of obsolete TODO comments.