Update where type inference example in tutorial
Allow type class constraints in 'using' clauses
e.g. if a using block is given as

using (C a b c)
    block

Then any declaration in the block which uses all of a, b and c in
its type will have the class constraint C a b c added implicitly.

See test027 for an example
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