Summary
- prefer strict result (in contrast to 0f3b0a929c02);
- avoid conflict with generated settings of other_isabelle;
- more progress information, for the sake of sporadic dropouts;
- restricted perspective depending on the caret -- important for reactivity when editing big files;
- parallel retrieval of PIDE markup;
- clarified output: do not require "method", which is absent for ResponseMessage;
- tuned;
- clarified message logging;
- more operations;
- clarified signature;