idris-hackers/idris-mode — pull request #242 by david-christiansen (2014-08-04 20:09:28+00:00)
Title: Place abandoned proofs on kill ring

This allows proofs to be "restarted" by opening the prover again,
yanking the proof script, and advancing through the steps.

Fixes #241.