| Thu, 19 Dec 2024 22:19:27 +0100 | wenzelm | back to xz-java-1.9, to see if this improves build_manager stability; | changeset | files |
| Thu, 19 Dec 2024 17:01:54 +0000 | paulson | merged | changeset | files |
| Thu, 19 Dec 2024 17:01:40 +0000 | paulson | revered the hiding of the standard nat theorems | changeset | files |
| Thu, 19 Dec 2024 16:01:06 +0100 | desharna | minor performance tuning; directly try to read file instead of first checking its existence | changeset | files |
| Thu, 19 Dec 2024 08:26:04 +0100 | desharna | merged | changeset | files |
| Thu, 19 Dec 2024 08:18:21 +0100 | desharna | minor performance tuning; avoid constructing path if unused and double construction | changeset | files |
| Wed, 18 Dec 2024 23:36:51 +0100 | wenzelm | merged | changeset | files |