more NEWS;

avoid premature crash due to missing session parents/imports;

avoid accidental update of base session sources (following documentation in "system" manual);

avoid duplicate stderr output in isabelle build -v, e.g. "Timing ..." (amending a829207b32a3);

prefer subpixel antialiasing by default: rendering of text is usually much faster, notably on Linux (see also 093ab1a99eb6 and f610115ca3d0);

slightly more explicit error, without going into the graph of proof futures;

more robust re-use of $ISABELLE_TMP_PREFIX (amending c1597167563e);

prefer strict qualification (default for 'interpretation', see 461ee3e49ad3) as proposed by Pedro Sánchez Terraf;

tuned documentation, based on hints by Pedro Sánchez Terraf;

backed out changeset 7eadccd4392c: too confusing wrt. text overview panel;

back to old-style names for uniform sorting of build_status (amending 138e8226961e);

support actual_host for lrzcloud2: the proxy_host/sshd cannot resolve invented hostname (amending 1d8b6c2253e6);

clarified connection parameters (again, after adjusting $HOME/.ssh configuration);

clarified output;

proper host for ssh.hg_url (required aliasing works via $HOME/.ssh/config);

clarified connection parameters;

clarified test;

remove Thm.transfer workaround made obsplete by cf2406e654cf

back to post-release mode;

Added tag Isabelle2020-RC2 for changeset 7eadccd4392c

claried error elements: include internalized errors of tokens/commands;

more robust connection via proxy_host;

more robust: proper transfer if Context.eq_thy_id;

merged

tuned;

tuned;

more robust hg_url; clarified signature;

proper usage (amending 8c7706b053c7);

proper escape for literal single quotes;

some uses of "' " as witness for this feature;

allow slightly odd "' " in mixfix as documented (introduced in 55754d6d399c, but broken in be8a8d60d962);

tidied up a few little proofs

updated for release;

more usable defaults for high resolution on Linux, where the desktop environment usually lacks automatic scaling;

tuned for Isabelle2020;

more explicit defaults;

proper transfer for Thm.derivation_name;

tuned OS names;

standard tests for macOS 10.15 Catalina;

updated NEWS w.r.t. e0237f2eb49d

more frugal simp rules for bit operations; more pervasive use of bit selector

more scalable output of YXML files;

proper grounding of free types produced by reconstruct_proof/infer_type, e.g. relevant for Lattices_Big.semilattice_set.infinite;

tuned;

tuned whitespace;

more thorough strip_shyps for proof boxes (but types are usually stripped and reconstructed later);

clarified;

tuned signature;

tuned signature;

tuned signature;

tuned;

copy jEdit sources instead of jar, for better browsing experience;

proper option;

tuned;

formally depend on Java 11 --- discontinue Java 8 workaround;

support Java/VM monitoring via jconsole;

escape some special chars, notably for URL#NAME form;

library theory for extractions of equations x = t into premises

tuned

rebuild x86_64-linux on Ubuntu 14.04.6 LTS; rebuild x86_64-cygwin on cygwin-20200116;

merged

include actions for jEdit dockables, e.g. "vfs.browser";

misc tuning and clarification;

infrastructure for extraction of equations x = t from premises beneath meta-all