| Sun, 19 Nov 2023 20:41:34 +0100 | wenzelm | build_history: proper support for ISABELLE_APPLE_PLATFORM64; | changeset | files |
| Sun, 19 Nov 2023 19:41:17 +0100 | wenzelm | clarified isabelle_hg (again, see b9d59669904a); | changeset | files |
| Sun, 19 Nov 2023 19:29:19 +0100 | wenzelm | clarified signature: explicit Remote_Build.count instead of duplicate entries (see also ee8c014526dc); | changeset | files |
| Sun, 19 Nov 2023 15:15:09 +0100 | wenzelm | clarified signature: more operations and options concerning Isabelle hg; | changeset | files |
| Sun, 19 Nov 2023 14:48:11 +0100 | wenzelm | performance tuning: cache graph; | changeset | files |
| Sun, 19 Nov 2023 12:52:14 +0100 | wenzelm | tuned signature: fewer warnings in IntelliJ IDEA; | changeset | files |
| Sun, 19 Nov 2023 12:51:47 +0100 | wenzelm | unused (see also 004b39bf06a5); | changeset | files |