| Fri, 01 Dec 2023 16:10:09 +0100 | wenzelm | clarified bootstrap --- modules related to proofterm.ML; | changeset | files |
| Fri, 01 Dec 2023 21:59:27 +0100 | Fabian Huch | clarified path time heuristic: configurable parameters for larger search space; | changeset | files |
| Fri, 01 Dec 2023 21:57:35 +0100 | Fabian Huch | clarified heuristics toString; | changeset | files |
| Fri, 01 Dec 2023 20:54:00 +0100 | Fabian Huch | tuned; | changeset | files |
| Fri, 01 Dec 2023 20:53:05 +0100 | Fabian Huch | add heuristic for non-scheduled (standard) build behaviour; | changeset | files |
| Fri, 01 Dec 2023 20:51:33 +0100 | Fabian Huch | proper unused nodes; | changeset | files |
| Fri, 01 Dec 2023 20:50:40 +0100 | Fabian Huch | clarified schedule message; | changeset | files |
| Fri, 01 Dec 2023 20:43:01 +0100 | Fabian Huch | proper parallel paths; | changeset | files |