show errors from build_log database;

support for message underline and tooltips;

unused;

store errors in build_history logs and database;

tuned;

more selective database access;

store errors in build db;

more correct and complete output of control characters;

clarified modules;

do not expose ML interrupt in Scala;

tuned signature;

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;

obsolete special case

tuned message;

proper ISABELLE_IDENTIFIER for remote Admin/build_history, e.g. relevant for settings;

tuned;

proper index;

updated package;

support text overview colors via decorations;

tuned;

clarified modules;