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;

merged

tuned signature;

clarified signature: ensure that entries are well-formed --- no consecutive separators, no separators at start/end;

clarified signature: only support nameless separator;

tuned signature;

use timeout with MiniSat