| Wed, 05 Jun 2024 20:06:34 +0200 | Fabian Huch | web app: add automatic resize; | changeset | files |
| Wed, 05 Jun 2024 17:41:16 +0200 | Fabian Huch | ensure permissions when starting build task (e.g., due to misconfigured client); | changeset | files |
| Wed, 05 Jun 2024 17:27:13 +0200 | Fabian Huch | add verbose option to build_task; | changeset | files |
| Wed, 05 Jun 2024 15:01:31 +0200 | Fabian Huch | tuned; | changeset | files |
| Wed, 05 Jun 2024 15:01:20 +0200 | Fabian Huch | build manager: manage directories/permissions, to minimize local administration; | changeset | files |
| Tue, 04 Jun 2024 18:55:55 +0200 | Fabian Huch | read prefs properly; | changeset | files |
| Tue, 04 Jun 2024 18:43:04 +0200 | Fabian Huch | allow explicit Isabelle rev in build task (e.g., for older Isabelle versions); | changeset | files |
| Tue, 04 Jun 2024 18:24:38 +0200 | Fabian Huch | web app: proper document height; | changeset | files |