idris-hackers/idris-mode — pull request #181 by david-christiansen (2014-06-08 23:15:43+00:00)
Title: Prover updates

This fixes a bug where some state didn't disappear on `idris-quit`, and it makes completion work with completion-at-point (just like the rest of idris-mode)