proper etc/ISABELLE_ID from archive (amending 4cba4e250c28);

eliminated perl: prefer elementary GNU printenv;

more self-contained support for macOS;

more robust bootstrap of components;

misc tuning and clarification;

tuned signature;

support for base64 via Isabelle/Scala/ML;

compile;

clarified signature (again);

clarified signature: avoid overlap of String vs. Bytes (both are CharSequence);

merged

clarified signature;

clarified signature: more structured arguments, notably for remote provers;

unused;

clarified signature;

unused;

clarified message output: flush already happens in write_message_yxml (see…

clarified signature for Scala functions;

clarified signature: avoid tmp file;

tuned;

clarified cache;

clarified exceptions;

clarified signature: Bytes extends CharSequence already (see d201996f72a8);

more uniform use of Byte_Message;

tuned signature;

tuned signature;

more robust treatment of empty markup: it allows to produce formal chunks;

tuned;

tuned;

more documentation;

proper treatment of nested antiquotations;

support for ML special forms: modified evaluation similar to Scheme;

clarified signature: more detailed token positions for antiquotations;

clarified message, following Isabelle/a7aabdf889b7;

merged

clarified signature;

some tinkering with npm versions;

some tinkering with npm versions;

back to post-release mode;

tuned signature;

tuned;

auto-update due to "isabelle build_vscode";

tuned --- following hints by IntelliJ IDEA;

discontinue old Ubuntu 18.04 LTS, e.g. it cannot build documentation "prog…

following recent Phabricator update, after 2021 Week 13 (Late March);

clarified README;

more standard header, with utf-8 encoding;

clarified HTML template (see also 04cb7e02ca38): avoid odd patching of sources;

clarified signature;

clarified: follow "isabelle version -t";

further clarification of Isabelle distribution identification -- avoid odd…

more robust and uniform ISABELLE_TAGS;

tuned signature -- more explicit types;

simplified release status (again), in contrast to a43898f76ae9;

clarified ISABELLE_ID: distribution vs. hg archive vs. hg repos;

more uniform HTTP resources;

clarified (again): local tip could be actually more recent;

tuned;

tuned;

clarified name;

more systematic java_library: avoid empty entries, declaration order as for…

support sequential LaTeX jobs: more robust when TeX installation is self…

avoid symblinks --- make it work on Windows;

more robust;

clarified message;

tuned;

proper export;

tuned message;

more options: build is part of default setup;

misc tuning and clarification;

more options;

proper Admin script, outside the settings environment;

tuned whitespace;

tuned;

clarified;

tuned message;

tuned message;

more accurate settings after update of current version;

clarified messages;

more robust: lest hg work out remote tip;

more options;

clarified treatment of multiple versions: last one counts;

more robust;

more robust: explicit repository root;

more robust;

more convenient repository setup;

more robust invocation of hg;

tuned;

more robust invocation of hg;

more robust: idempotent;

tuned;

clarified output;

more robust invocation of hg;

more robust invocation of hg;

support repository archives (without full .hg directory);

record official releases that follow a certain structure, with public access…

support for Java Chromium Embedded Framework (JCEF): still somewhat fragile;

enforce full build;

turn LaTeX warning into error, for the sake of isabelle.sty/bbbfont;