Remove the need for a ; after tactics in prover
Close prover windows after qed
Readable timestamps in *idris-events*
Launch the prover from right-click menu on metavariables
Working prover that can save proofs
Merge pull request #178 from david-christiansen/prover

Make the prover work