clarified isabelle_fonts license, to be used when the component is updated next time;

tuned whitespace;

clarified tool setup for GHC / OCaml: discontinued "isabelle ghc", "isabelle ocaml", "isabelle ocamlc" to avoid confusion with traditional settings variables for executables (these are still required in existing applications, notably in session options [condition = ISABELLE_GHC] etc. and codegen setup;

always insist in specified resolver/compiler version;

proper ML expressions, without trailing semicolons;

insist in specified resolver/compiler version;

simplified -- according to regular "ghci" script;

clarified ML positions (see also 1a52baa70aed);

more standard Resources.provide_parse_files: avoid duplicate markup reports;

more uniform (see 1722cc56d22e);

removed relics of ASCII syntax for indexed big operators

tuned;

obsolete;

clarified signature;

more uniform read_file_content for Isabelle/jEdit and Isabelle/VSCode: make_theory_content is required for semantic checking of user file-formats (e.g. bibtex);

more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;

merged

proper ghc_setup / ocaml_setup on target Isabelle distribution (amending 2a17c481d05e);

dedicated examples for sorting

more direct implementations of comparators

generic merge sort

merged

more Haskell operations;

tuned;

concrecte sorting algorithms beyond insertion sort

proper self_update for isolated host;

renovated macOS tests;

support remote_build_history with optional ghc_setup / ocaml_setup;

more robust: avoid isabelle_stack invocation in settings script (potentially slow or failing);

clarified names;