clarified signature: support more generic server implementations;

tuned comments;

proper </html>;

tuned message;

new magerial from Jakub Kądziołka

back to post-release mode;

Added tag Isabelle2021-RC2 for changeset 802647edfe7b

tuned;

avoid Unicode quotes;

clarified pretty margin: attempt to avoid scrollbar;

more documentation;

more informative errors: simplify diagnosis of spurious failures reported by users;

proper labels for status message: "sidekick.parsing-complete={0} parsing complete, {1} error(s)";

proper size of buttons in Symbols dockable, e.g. \<A> 0x01d49c vs. \<B> 0x00212c;

clarified list of presented look-and-feels; clarified signature;

clarified default L&F of Isabelle/Scala (not Isabelle/jEdit);

discontinued odd absolute position (amending 85bcdd05c6d0, 1975f397eabb): it violates translation invariance of commands and may lead to redundant re-checking of PIDE document;

Corrected lemma that was too specific in HOL-Computational_Algebra

tuned GUI, notably for scalable FlatLaf;

clarified default L&F;

support for additional look-and-feels;

avoid rescaled fonts, e.g. dockable buttons on Windows L&F after opening a new view;

some algebra material for HOL: characteristic of a ring, algebraic integers

HOL-Data_Structures: added Selection and time functions for list functions

merged

discontinued body_range (again): does not quite work, because Position.thread_data is plain Toplevel.pos_of only;

clarified: command keyword position is sufficient (amending 693a39f2cddc);

ignore error messages produced by CVC4 when generating BV

One useful lemma/simprule

isabelle update_cartouches;

tuned --- prefer explicit position;

recovered body_range from eca176f773e0 --- its Command.core_range is in conflict with batch-build markup;

tuned;

support more command positions, analogous to Command.core_range in Isabelle/Scala;

tuned;

more uniform core_range (amending def3ec9cdb7e);

clarified dock icon: setup earlier on startup;

clarified NEWS;

dropped junk

try GTK 3: some visual dropouts, but more stable e.g. in Sidekick "isabelle-markup";

detect arm64-darwin more reliably: uname could be in x86_64 mode, e.g. within app bundle;

proper purge for arm64-darwin;

updated jdk-15.0.1+9, including arm64-darwin;

discontinued somethat pointless sharing: too complicated;

less verbose;

more robust sharing, despite minimal impact on archive size;

proper LSMinimumSystemVersion for zulu-jdk-15;

obsolete, thanks to zulu-jdk directory layout;

clarified Info.plist;

more direct ISABELLE_JDK_HOME, thanks to zulu-jdk directory layout;

prefer OpenJDK from Azul: supports more versions and platforms; support arm64-darwin;

sort lines;

tuned;

more NEWS;

recovered file-type icons from macos_app;

clarified application init;

recovered bundle icons (not application) from macos_app;

proper app directory setup, without macos_app component;

more robust;

prefer official Java 9 operations;

obsolete;

proper dock icon for macOS;

proper isabelle_home_prefix; proper isabelle_options, with link;

discontinued macOS JavaAppLauncher: re-use plain shell script; more uniform java_options for all platforms;