Fabian Huch <huch@in.tum.de> [Tue, 04 Jun 2024 09:02:36 +0200] rev 80246
add build manager module;
Fabian Huch <huch@in.tum.de> [Tue, 04 Jun 2024 09:02:18 +0200] rev 80245
support ci job via hg_sync (cf. 7883f221d6d3);
Fabian Huch <huch@in.tum.de> [Mon, 03 Jun 2024 19:37:42 +0200] rev 80244
tuned;
Fabian Huch <huch@in.tum.de> [Mon, 03 Jun 2024 19:21:22 +0200] rev 80243
use Content-Digest header in HEAD requests instead of length (to track non-monotone changes);
paulson [Mon, 03 Jun 2024 20:56:41 +0100] rev 80242
merged
paulson <lp15@cam.ac.uk> [Mon, 03 Jun 2024 20:56:21 +0100] rev 80241
Simplification of sin, cos, exp of multiples of pi
wenzelm [Mon, 03 Jun 2024 20:28:25 +0200] rev 80240
minor performance tuning: more compact data;
wenzelm [Mon, 03 Jun 2024 19:43:21 +0200] rev 80239
removed unused/inefficient size_of_proof (see also 2241191a3c54);
wenzelm [Sun, 02 Jun 2024 14:11:09 +0200] rev 80238
tuned;
wenzelm [Sun, 02 Jun 2024 13:36:24 +0200] rev 80237
more robust: avoid crash of sleep() for negative time;