eliminated odd clone (see Isabelle/caa5a257d3ed);

recover some Linux test, using old macbroy2 as i21of4 (Ubuntu 20.04);

avoid perl;

tuned signature --- following hints by IntelliJ IDEA;

ignore session build timeout, notably in AFP;

check timeout_ignored as in ML, before applying timeout_scale;

merged

proper build of required session images vs. build with Mirabelle presentation;

clarified command-line;

reactive "sledgehammer";

reactive "sledgehammer_filter": statically correct, but untested (no…

clarified signature;

reimplemented Mirabelle as Isabelle/ML presentation hook + Isabelle/Scala tool…

clarified signature;

tuned;

clarified log content;

unused (see 8ffc607c345d);

unused;

clarified signature: provide access to previous state;

tuned signature;

clarified signature (see Scala version);

avoid duplicate loading of ML file;

basic setup of Isabelle setup tool --- pure Java, no dependencies;

merged

guess package more directly;

proper support for macOS/Rosetta: let "uname -m" report arm64 instead of x86_64;

clarified platforms;

merged

proper jEdit.props (amending ff716ecb0805);

update to gmp-6.2.1, with support for arm64-darwin;

clarified platforms;

clarified options: implicitly support both x86_64 and arm64;

tuned whitespace;

proper build for fresh target directory (amending d9823224fcfe);

put more resources into jedit_build component;

more brackets (see f6b453449cc6);

more brackets;

proper settings variable, amending 6e85281177df;

merged

tuned proofs --- avoid z3, which is absent on arm64-linux;

proper condition: z3 could be absent, e.g. on arm64-linux;

build auxiliary jEdit component in Isabelle/Scala;

tuned message;

separate component for idea-icons.jar, from jedit_build (see also ff0e0bb81597);

clarified signature;

tuned signature;

tuned comments;

misc updates and clarification;

clarified file name;

updated to polyml-5.8.2 (official release);

merged

proper option for linux_arm;

clarified default_platform_families (again);

proper "$?";

tuned message;

proper jvm_platform, notably for org.sqlite.lib.path;

clarified purge;

support for platform family "linux_arm";

support local build_heaps;

removed junk;

no hardwired document;

merged

tuned --- rename = dist_name is sufficient;

proper dist_name;

clarified option -P: allow empty argument;

support for existing release archive;

tuned signature;

more website content;

clarified signature;

tuned signature;

misc tuning and clarification: more explicit types Release_Context…

more robust indentation: proper line context after insert;

support nested cases;

more robust: avoid sporadic crash of JEditBuffer.tokenMarker.getMainRuleSet().

tuned;

tuned;

early definition of ML antiquotations;

tuned;

clarified signature: more operations;

clarified signature: more operations;

clarified signature;

tuned signature;

clarified command-line, following other build_XYZ tools;

more recent OCaml and GHC stack: better support for Apple Silicon;

clarified check of root process on Windows (NB: the winpid is less stable than…

merged

avoid "exec" to change the winpid;

fast approximation of test for process group (NB: initial process might already…

clarified signature;

rebuild executable for x86_64-darwin;

clarified command-line;

tuned comments;

update Linux base-line;

tuned signature;

simplified typesetting of \<guillemotleft>...\<guillemotright>;

proper use of antiquotations;

more realistic timeout;

tuned whitespace;

more documentation on "Conversions";

adapted to Isabelle/a2c589d5e1e4;