idris-hackers/idris-mode — pull request #282 by david-christiansen (2014-12-30 20:12:23+00:00)
Title: Improve highlighting of provisional definitions

Now, the lemma name is given metavariable highlighting and the ?= is
highlighted as a definining equality (just like normal =).

Fixes #281.