idris-hackers/idris-mode — pull request #42 by purcell (2014-01-08 15:50:19+00:00)
Title: Make explicit the requirement for Emacs 24

Following up on #41