idris-hackers/idris-mode — pull request #165 by david-christiansen (2014-05-24 16:43:04+00:00)
Title: Restore compatibility with 0.9.12

This patch, plus removing the metavariable command from the load success hook, makes things work again with Idris 0.9.12.

I believe it supersedes #164, and does the same thing somewhat more elegantly, as it ensures that as much of the same code path is called as possible.