Wed, 05 Jun 2024 17:41:16 +0200 | Fabian Huch | ensure permissions when starting build task (e.g., due to misconfigured client); | file | diff | annotate |
Wed, 05 Jun 2024 17:27:13 +0200 | Fabian Huch | add verbose option to build_task; | file | diff | annotate |
Wed, 05 Jun 2024 15:01:20 +0200 | Fabian Huch | build manager: manage directories/permissions, to minimize local administration; | file | diff | annotate |
Tue, 04 Jun 2024 18:55:55 +0200 | Fabian Huch | read prefs properly; | file | diff | annotate |
Tue, 04 Jun 2024 18:43:04 +0200 | Fabian Huch | allow explicit Isabelle rev in build task (e.g., for older Isabelle versions); | file | diff | annotate |
Tue, 04 Jun 2024 09:02:36 +0200 | Fabian Huch | add build manager module; | file | diff | annotate |