nipkow [Tue, 04 Jun 2024 18:08:47 +0200] rev 80248
merged
nipkow [Tue, 04 Jun 2024 11:21:04 +0200] rev 80247
replace manual def. of timing function
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);