idris-hackers/idris-mode — pull request #183 by david-christiansen (2014-06-09 08:02:18+00:00)
Title: Fix a bug in the dirty bit when not partial loading

This also ensures that the change tracking hook is buffer-local.