hannesm/idris-mode — pull request #2 by david-christiansen (2013-07-15 14:10:41+00:00)
Title: User interface improvements

* Show script and goals in prover

* Quit in menu

* Menu in REPL