Wed, 05 Jun 2024 15:01:31 +0200 tuned;
Fabian Huch <huch@in.tum.de> [Wed, 05 Jun 2024 15:01:31 +0200] rev 80253
tuned;
Wed, 05 Jun 2024 15:01:20 +0200 build manager: manage directories/permissions, to minimize local administration;
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;
Tue, 04 Jun 2024 18:55:55 +0200 read prefs properly;
Fabian Huch <huch@in.tum.de> [Tue, 04 Jun 2024 18:55:55 +0200] rev 80251
read prefs properly;
Tue, 04 Jun 2024 18:43:04 +0200 allow explicit Isabelle rev in build task (e.g., for older Isabelle versions);
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);
Tue, 04 Jun 2024 18:24:38 +0200 web app: proper document height;
Fabian Huch <huch@in.tum.de> [Tue, 04 Jun 2024 18:24:38 +0200] rev 80249
web app: proper document height;
Tue, 04 Jun 2024 18:08:47 +0200 merged
nipkow [Tue, 04 Jun 2024 18:08:47 +0200] rev 80248
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 tip