idris-hackers/idris-mode — pull request #82 by david-christiansen (2014-02-13 13:55:26+00:00)
Title: Show compiler notes tree in chronological order

Fixes #79.