define and use iputGoal instead of putStrLn
abstract set-prompt into isetPrompt -- and use it
remove duplicate 'intro' and 'intros'
layout improvement
handle Prove in toplevel of ideslave, to reset prompt after it returned
support ideslave mode with prover
more work on the prove mode... now sending messages when it started and finished
send start/end proof mode messages from within prover
cleanups
Report success or failure in IDESlave mode while loading a file
Merge pull request #1 from david-christiansen/ideslave-prover

Report success or failure in IDESlave mode while loading a file
Merge pull request #398 from hannesm/ideslave-prover

support for the proof shell in ideslave mode