Fabian Huch <huch@in.tum.de> [Wed, 05 Jun 2024 20:06:34 +0200] rev 80256
web app: add automatic resize;
Fabian Huch <huch@in.tum.de> [Wed, 05 Jun 2024 17:41:16 +0200] rev 80255
ensure permissions when starting build task (e.g., due to misconfigured client);
Fabian Huch <huch@in.tum.de> [Wed, 05 Jun 2024 17:27:13 +0200] rev 80254
add verbose option to build_task;
Fabian Huch <huch@in.tum.de> [Wed, 05 Jun 2024 15:01:31 +0200] rev 80253
tuned;
Fabian Huch <huch@in.tum.de> [Wed, 05 Jun 2024 15:01:20 +0200] rev 80252
build manager: manage directories/permissions, to minimize local administration;
Fabian Huch <huch@in.tum.de> [Tue, 04 Jun 2024 18:55:55 +0200] rev 80251
read prefs properly;
Fabian Huch <huch@in.tum.de> [Tue, 04 Jun 2024 18:43:04 +0200] rev 80250
allow explicit Isabelle rev in build task (e.g., for older Isabelle versions);
Fabian Huch <huch@in.tum.de> [Tue, 04 Jun 2024 18:24:38 +0200] rev 80249
web app: proper document height;
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);