Changes

Summary

1. tuned --- reduced source complexity;
2. proper usage (amending f7ea394490f5);
3. merged, resolving minor conflict;
4. allow build session setup, e.g. for protocol handlers;
5. unused;
6. tuned --- potentially more robust (e.g. session.phase_changed vs. isabelle_process.terminated);
7. clarified signature;
8. removed pointless option (see 3d0952893db8);
9. tuned --- avoid redundant future tasks from already loaded theories;
10. no comment --- topological order appears to be fine since 04-Mar-2013;
11. more predictable sequential presentation (2f9877db82a1), without somewhat pointless result_ord (e7fab0b5dbe7);
12. moved stride option from sledgehammer action to main mirabelle