idris-hackers/idris-mode — pull request #51 by david-christiansen (2014-01-15 10:04:49+00:00)
Title: Set buffer cleanliness when popping to REPL

RE #47