more uniform options for "curl", following lib/Tools/components;

tuned: drop redundant "expand";

tuned;

added lemmas total_on_mult, total_mult, totalp_on_multp, and totalp_multp

proper name for lemma totalp_on_total_on_eq

update to jdk-17.0.6; proper executables for Windows; enforce rebuild of Isabelle/ML and Isabelle/Scala;

proper cleanup;

avoid odd suffix in published HTML library;

tuned signature: avoid aliases;

tuned message;

tuned;

tuned signature;

clarified modules (again, in contrast to f8f065e20837);

support IPC via database server;

proper signature;

support specific connection types, for additional operations;

more correct and complete bibliography;

tuned signature;

tuned;

proper position for semantic completion: avoid duplicate quotes;

clarified signature;

clarified signature;

proper positions for Isabelle/ML, instead of Isabelle/Scala;

dismantle special treatment of citations in Isabelle/Scala;

more direct check of bibtex entries via Isabelle/Scala;

support Session argument for Scala.Fun; more robust check of citations within the Pure theory before the theory header;

obsolete (see also 01c9b3033036);

proper citations for unselected theories, notably for the default selection of the GUI panel;

tuned signature;

more robust theory_source -- in contrast to node_source from fffb978dd683: theory name is more reliable than Document.Node.Name, explicit unicode_symbols;