obsolete;

removed obsolete PGIP material;

recovered informative progress from 016cb7d8f297;

removed obsolete PGIP material;

clean startup of RAW session;

dummy PGIP id, which appears to be sufficient for PG/Emacs; removed obsolete init operations;

limit build process output, to avoid bombing Isabelle/Scala process by ill-behaved jobs (e.g. Containers in AFP/9025435b29cf);

merged

option "goals_limit", with more uniform description;

clarified message when subgoals have been stripped -- unconditional;

retain goal display options when printing error messages, to avoid breakdown for huge goals;

typo

better support for domains in Lifting/Transfer = replace Domainp T by the actual invariant in a transferred goal

try to detect assumptions of transfer rules that are in a shape of a transfer rule

publish a private function

tuned names

re-init ISABELLE_PROCESS_OPTIONS to allow nested ISABELLE_PROCESS invocations, e.g. HOL-Mutabelle-ex;

more standard Isabelle/ML operations -- avoid inaccurate Bool.fromString;

prefer standard Isabelle/ML operations;

some system options as context-sensitive config options;

load options for regular isabelle-process, not just for Isar loop (relevant for numerous low-level tools) -- NB: Isabelle_Process manages options via protocol message;

support for system options as context-sensitive config options;

tuned signature;

tuned comments;

support for options as preferences;

more operations in accordance to Scala version;

more systematic access to options default;

full default options for Isabelle_Process and Build;

decentralized historic settings;

removed obsolete test_markup; tuned;