adapted to d25093536482;

clarified markup;

clarified signature;

tuned signature;

tuned;

proper error positions;

more documentation on Isabelle/Scala;

more NEWS;

tuned whitespace;

more antiquotations;

tuned;

check bash functions against Isabelle settings environment;

misc tuning;

breakable scala_name;

tuned signature;

proper check of example;

discontinued pointless document antiquotation;

clarified signature --- fit within limit of 22 arguments;

tuned;

tuned;

more antiquotations;

obsolete;

check free-form Scala source;

clarified static_check: avoid accidental evaluation;

omit pointless memoing: Scala compiler is rather bulky anyway;

clarified signature;

antiquotations for Scala entities;

merged

proper stack_limit;

clarified signature;

proper check of registered Scala functions;

more accurate classpath for "isabelle scala";

asynchronous build_session: notably for Scala.fulfill protocol commands during…

clarified build_session protocol;

clarified signature;

tuned signature;

more robust: explicit check for PIDE session;

clarified name;

unused;

check Scala source snippets from ML;

tuned signature;

init default context;

tuned message;

more robust isabelle.Functions --- avoid Java reflection with unclear…

clarified signature;

tuned;

tuned message;

more brackets (see 2e8af171887f);

clarified signature;

unused;

more robust, notably for "isabelle scala";

clarified signature;

clarified signature;

clarified modules;

follow Phabricator update 2020 Week 19;

clarified session imports: avoid bulky HOL-Library image;

tuned -- avoid warning;

merged

added "isabelle sessions" tool;

tuned messages;

more robust Isabelle_System.init (amending c0bc99aad936): avoid non-termination…

back to more modest (but uniform) Java stack, see 97fc4f657bda;

more generous Java memory, also hoping to prevent spurious java.lang.

merged

merged

avoid deprecated operations;

tuned -- avoid odd compiler warning;

avoid deprecated operations;

deprecated and obsolete;

tuned signature -- avoid warnings;

more informative error;

clarified signature: avoid clash with Isabelle/Scala Term.OFCLASS on case…

clarified signature -- avoid warning;

tuned;

clarified imports;

discontinued somewhat incoherent patches (see also 3b36fc4916af);

use friendlier package;

move virtual machine node;

removed obsolete RC tags;

merged

Added tag Isabelle2020 for changeset abf3e80bd815

tuned NEWS;

tuned NEWS;

updated for release;

tuned message;

tuned message;

clarified signature;

avoid hard-wired stuff: configure via plugin services;

tuned;

tuned;

clarified init of settings vs. services;