eliminated hardwired string constants; removed unused allInfo; replaced workerThread by EventBus handler (cf. Isar process results); unified handle_result function, slightly more general/robust patterns; use existing Isar.create_command etc.; tuned;
eliminated hardwired string constants;
removed unused allInfo;
replaced workerThread by EventBus handler (cf. Isar process results);
unified handle_result function, slightly more general/robust patterns;
use existing Isar.create_command etc.;
tuned;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle