more direct Proof_Context.init_global;

merged

tuned;

tuned proofs;

clarified directory layout: templates for user sessions;

clarified signature;

tuned;

tuned;

tuned;

more timing;

proper pattern (amending 40a365360680);

tuned comments;

tuned;

prefer abstract command kind (in contrast to 367f4512e65c);

tuned;

more accurate outer syntax keywords (see also 94b2690ad494): base session could…

tuned: avoid warning in IntelliJ IDEA;

clarified signature: do not require finished theory;

tuned signature;

clarified modules;

merged

support for FoilTeX with demo document;

support for Easychair style with demo document;

tuned whitespace for "isabelle doc" display;

tuned comments;

clarified signature;

support for Dagstuhl LIPIcs style with demo document;

tuned;

tuned signature;

clarified modules;

tuned signature;

tuned;

tuned signature, following hints by IntelliJ IDEA;

proper Java syntax (amending ea79c21bcc47);

reactivate emerging tool after release (see 322f2e2799a7);

merged

formal bundling for Admin/build_release: avoid confusion about presence or…

more robust etc/preferences: default value remains;

more macOS platforms, without reference hardware;

macOS 13.x (Ventura) is supported as well;

official release;

merged

Added tag Isabelle2022 for changeset 1ac2416e8432

tuned signature (again, amending f32ac01aef5e), e.g. relevant for Isabelle/DOF;

updated to naproche-20221024: minor changes to documentation;

tuned signature, e.g. for Isabelle/DOF;

support docker for ARM64;

more thorough cleanup;

tuned;

tuned: more robust Scala syntax;

merged

prefer Zstd compression, notably for database exports;

no compression for database server: let PostgreSQL/TOAST do the job;

tuned: avoid redundant copy of potentially large array;

clarified signature;

tuned signature, following isabelle.setup.Environment;

tuned signature;

tuned signature;

tuned signature;

prefer new instance, following "make" signature terminology;

clarified signature;

clarified signature: default cache is actually dummy and not changed…

generic support for XZ and Zstd compression in Isabelle/Scala;

clarified Zstd.init(): avoid accidential com.github.luben.zstd.util.Native.load…

support for Zstd data compression;

enforce fresh build;

merged

more robust read_file: prefer implicit replacement of bad input instead of…

more robust reset of CLASSPATH: unset variable means "." in certain situations…

more informative errors, with optional exception trace as in Command_Line.tool;

proper chapter for each ROOT file (amending b07f2ff55144);

merged

Added tag Isabelle2022-RC4 for changeset 8b4108f41c77

rebuild with proper Isabelle version;

update naproche component;

more robust, e.g. for "isabelle dump";

more robust, e.g. for "isabelle dump";

removed junk;

more robust, e.g. for "isabelle dump";

more NEWS;

tuned, following hints by IntelliJ IDEA;

avoid spurious error messages, e.g. when scala is missing;

allow spaces in SCALA_HOME directory name;

avoid result based on outdated state, e.g. relevant for use_theories with…

tuned signature;

tuned signature, following hints by IntelliJ IDEA;

tuned signature;

more robust treatment of state and events;

proper result state (amending 954640e846d6);

tuned;

tuned signature;

tuned;

tuned signature;

tuned: clarified old_theory (in contrast to 4d5342898b1);

tuned signature;

proper update of non-committed theories (see also 2bf1d0e57695, 2a1583baaaa0);

more robust: active consumer for check_state/check_progress;