idris-hackers/idris-mode — pull request #60 by david-christiansen (2014-01-22 12:13:36+00:00)
Title: Improve reliability of changed package reload

Before, the process sentinel would sometimes not run.