clarified modules;

tuned imports;

clarified modules;

clarified signature;

clarified modules;

tuned names

adjusted doc

redefined Greatest

merged

update preview after document change; clarified encode_name/decode_name; clarified other_column;

proper HTML preview;

clarified view column; tuned whitespace;

basic setup for document preview;

Tuned Library/Sublist.thy

reorganised material on sublists

removed GreatestM

introduced arg_max

added is_arg_min

removed LeastM; is now arg_min

more arg_min

no exit code from build processes by default, e.g. relevant for non-strict results of remote_build_history;

tuned;

clarified build errors; tuned signature;

tuned layout;

tuned signature;

tuned signature;

tuned signature;

tuned signature;

clarified signature;

tuned layout;

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;