| Fri, 25 Nov 2022 20:17:54 +0100 | wenzelm | proper treatment of tar.gz double-extension; | changeset | files |
| Fri, 25 Nov 2022 16:20:14 +0100 | wenzelm | proper download, instead of assuming local directory; | changeset | files |
| Fri, 25 Nov 2022 15:29:03 +0100 | wenzelm | more standard component build process; | changeset | files |
| Fri, 25 Nov 2022 14:44:22 +0100 | wenzelm | clarified signature; | changeset | files |
| Fri, 25 Nov 2022 13:38:15 +0100 | wenzelm | clarified signature; | changeset | files |
| Fri, 25 Nov 2022 10:57:38 +0100 | wenzelm | discontinue unused JCEF: superseded by Electron with its bundled Chromium; | changeset | files |
| Fri, 25 Nov 2022 10:49:46 +0100 | wenzelm | prefer deterministic result; | changeset | files |
| Thu, 24 Nov 2022 14:22:43 +0100 | wenzelm | clarified command-line arguments: follow more recent isabelle build_XYZ; | changeset | files |