edwinb/Idris-dev — pull request #228 by david-christiansen (2013-03-12 16:27:52+00:00)
Title: Completion usability improvements

Completion bugs fixed:

* Completion of names after parentheses and ops works
* Completion of prefixes of other names
* :p and :prove are only completed by metavariables instead of the whole scope