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;