first steps for prover
react on more messages
some initial work on the prover mode
log time for each event
more improvements to the prover mode
log time for each event
Merge pull request #8 from hannesm/log-timestamp

log time for each event
add idris-quit function, fixes #10
fix read-only for proof script
Make proof obligations and repl pop up when starting
Merge pull request #1 from david-christiansen/ideslave-prover

Make proof obligations and repl pop up when starting
support for proof script editing
implement backwards
completions for proof script!
Cause both script and goals to be shown when entering prover
Menu improvements: add quit, add repl menu
Merge pull request #2 from david-christiansen/ideslave-prover

User interface improvements
fix killing of proof-script buffer; fix completions
Merge pull request #11 from hannesm/ideslave-prover

proof shell for emacs (requires changes to idris-dev, which are in pull request 398)