more robust;

clarified signature;

clarified syntax: similar to URL;

clarified javac options;

more compiler_deps via "requirements", notably jar list from settings;

more robust;

clarified component settings;

tuned signature;

clarified shasum: sources / resources within jar;

clarified modules;

more robust treatment of empty string;

invoke Scala compiler from Java, without external process;

clarified version: Apple now counts like 11, 12, ...;

tuned signature;

create jar in pure Java;

clarified order;

tuned whitespace;

proper treatment of leading zero;

support for jar resources;

tuned;

tuned signature;

support for Isabelle/Scala in pure Java;

tuned signature;

clarified directories;

clarified modules and signatures;

back to scala-2.13.5: avoid problems with history in scala REPL;

tuned imports;

merged

clarified Isabelle/Java/Scala project setup;

support for Isabelle setup in pure Java;

clarified package: towards stand-alone setup;

tuned: prefer Java interfaces;

tuned;

tuned: prefer Java interfaces;

clarified modules;

tuned;

more direct java.home, according to current jdk directory layout;

clarified signature;

clarified signature: prefer Java interfaces;

tuned: prefer Java interfaces;

clarified signature;

proper usage;

clarified modules;

tuned;

clarified modules (again): services require full Isabelle/Scala environment;

clarified modules;

clarified environment (amending 9444489766a1);

updated to scala-2.13.6, with scala-xml 1.3.0 ~> 2.0.0;

proper Font_Subst.cache for paintScreenLineRange;

more predictable result, avoid slightly odd "lastSubstFont" by jEdit;

tuned;

tuned signature;

tuned;

discontinue i21of4 (old Apple hardware);

avoid deprecated operation;

tuned;

support for jEdit font substitution;

more ambitious use of AttributedString (despite be825a69fc67, which was for…

updated to flatlaf-1.2;

more visual emphasis on node status;

proper directories after reinstallation of lxbroy10;

avoid legacy domain informatik.tu-muenchen.de;

tuned --- following hints by IntelliJ;

tuned signature;

tuned;

tuned;

tuned signature;

tuned;

tuned signature (see 2d6a489adb01);

tuned whitespace;

merged

tuned messages;

NEWS;

proper profiling within command execution: messages require PIDE id;

more systematic treatment of profiling mode;

tuned message;

prefer less intrusive tracing message;

add missing file;

clarified documentation: tracing messages are not shown here;

more formal ML profiling messages;

clarified modules;

follow Phabricator update 2021 Week 23;

tuned;

more formal theory and session names;

proper NEWS after Isabelle2021;

updated descriptions;

tuned;

allow system option short form NAME for NAME=true for type string, not just…

more robust within session "HOL";

merged

clarified hook for Mirabelle: provide all loaded theories at once (for each…

suppress theories from other sessions, unless explicitly specified via…

refer to theory "segments" only, according to global Build.build_theories and…

tuned;

tuned;

more uniform schedule_theories, notably for "present" and "commit" phase after…