Highlight the "postulate" keyword
Merge pull request #176 from david-christiansen/postulate-highlight

Highlight the "postulate" keyword
Be more selective about where Idris tries to make buffers clickable
Merge pull request #179 from david-christiansen/clickable-module-selectivity

Be more selective about where Idris tries to make buffers clickable
Merge pull request #178 from david-christiansen/prover

Make the prover work
Don't show error on empty REPL command.

Instead, just give a new prompt.
Docstring
Major simplification of marker protocol in REPL buffer

This makes it easier to make the prover interact well with the REPL.
Make prover window more reliable
Update metavariable list after proving something