Summary
- tuned output;
- tuned;
- logic_selector refers to raw logic name;
- clarified terminology;
- tuned signature;
- do not store bulky Session.Deps;
- avoid duplicate invocation of expensive Sessions.deps on full_sessions; tuned;
- added isabelle jedit options -B, -P, clarified -R; misc tuning and clarification;