clarified modules;

clarified process: implicit load() when finished;

more robust, notably initial update();

tuned;

tuned messages: implement "verbose = false", but there is no theory output anyway;

merged

added lemmas irrefl_on_subset and irreflp_on_subset

introduced predicates irrefl_on and irreflp_on, and redefined irrefl and irreflp as abbreviations

tuned messages;

tuned message;

tuned messages and options;

merged

removed prod_set_conv attribute from top_empty_eq and top_empty_eq2

discontinued "unzip" executable (see also eb96243a25c5 and 662de910a96b);

more direct access to jEdit jar resources, without unzip;

clarified check: allow to remove bad directories;

clarified check; tuned message;

tuned message;

tuned signature;

tuned signature;

proper unzip with strip option, within the JVM; tuned component build process;

updated to sqlite-jdbc-3.39.4.1; clarified directory layout;

more standard component build process;

clarified signature: prefer Scala functions instead of shell scripts;

tuned;

more direct target directory;

clarified signature: prefer Scala functions instead of shell scripts;

A new Isabelle/CTT example, and eliminated some old-style quotation marks

clarified exception: avoid odd compiler warning;

update to scala-3.2.1; enforce rebuild of Isabelle/ML + Isabelle/Scala;

recovered check from 69139cc01ba1: Windows does not support PosixFilePermission;

update to jdk-17.0.5 (Oct-2022);

more standard component build process;

proper treatment of tar.gz double-extension;

proper download, instead of assuming local directory;

more standard component build process;

clarified signature; omit somewhat pointless test for "unzip" command;

clarified signature; tuned messages;

discontinue unused JCEF: superseded by Electron with its bundled Chromium;

prefer deterministic result;

clarified command-line arguments: follow more recent isabelle build_XYZ;

compile

correctly show '(> 2 s, timed out)' or similar in Sledgehammer's output

merged

strengthened and renamed lemma reflp_on_equality

renamed lemmas linorder.totalp_on_(ge|greater|le|less) and preorder.reflp_(ge|le)

Added an example for Isabelle/CTT

clarified signature;

clarified signature: more explicit types;

tuned output;

prefer sorted result;

separate style for re-use;

ML support for the Prism.js syntax highlighter -- via Isabelle/Scala;

retain data structures more accurately; tuned signature;

proper join without delimiter;

more accurate token types; keep untyped tokens for complete covering;

clarified JS namespace;

proper support for Windows;

support for the Prism.js syntax highlighter -- via external Node.js process;

support for JavaScript syntax and Node.js platform;