idris-hackers/idris-mode — pull request #175 by david-christiansen (2014-06-03 19:26:33+00:00)
Title: Check for buffer load marker in idris-load-sync

Fixes #174.