clarified modules;

clarified signature: more explicit type Protocol_Message.Marker;

tuned signature -- follow Scala;

tuned;

more explicit type Protocol_Message.Marker; tuned;

clarified protocol messages: explicitly use physical_writeln, always encode_lines;

tuned;

tuned whitespace;

more tidying up of old apply-proofs

merged

tuned;

tuned;

tuned;

eliminated pointless flag (see also 6533ceee4cd7);

tuned;

merged

structured a lot of ancient, horrible proofs

clarified Isabelle_Process phases;

clarified order: update syslog before handling exit;

tuned error message;

clarified signature: more robust startup_join;

merged

tuned;

misc tuning based on hints by IntelliJ IDEA;

clarified signature;

clarified signature;

clarified signature;

clarified signature;

tuned;

clarified signature: more accurate session_base_info.sessions_structure;

clarified signature;

added lemma

merged

updated to more modern style

updated to scala-2.12.11;

merged

put back Nat.le_diff_conv2 because AUTO2 doesn't work with Groups.le_diff_conv2

merged

new-style Greater lemmas

tidying up some horrible proofs

avoid jdk-11.0.6+10: it shows problem "S8217731: Font rendering and glyph spacing changed from jdk-8 to jdk-11" https://bugs.openjdk.java.net/browse/JDK-8217731 even though the changelog claims to have resolved this;

tuned;

merged;

more NEWS;

delete Isabelle distribution archive after use;

documentation for "isabelle build_docker";

updated for release;

tuned bib;

more documentation on view.antiAlias, not just NEWS;

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

avoid conflict with isabelle.next-error, resulting in odd startup dialog;

updated for release;

Added tag Isabelle2020-RC1 for changeset a8849ac415cc

follow Phabricator update 2020 Week 6;

tuned signature;

VSCode extension for official Isabelle release;

more documentation;