| Sun, 21 Aug 2022 23:01:08 +0200 | wenzelm | disable laramac01 for now: system update pending; | changeset | files |
| Sun, 21 Aug 2022 15:16:26 +0200 | wenzelm | clarified synchronized operations: approximate file-system transactions; | changeset | files |
| Sun, 21 Aug 2022 15:00:14 +0200 | wenzelm | more robust concurrency: use shared Browser_Info.Context with synchronized file-system operations; | changeset | files |
| Sun, 21 Aug 2022 13:57:40 +0200 | wenzelm | NEWS; | changeset | files |
| Sun, 21 Aug 2022 13:45:50 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 21 Aug 2022 13:44:39 +0200 | wenzelm | tuned comments, following "isabelle build" usage; | changeset | files |
| Sun, 21 Aug 2022 13:16:44 +0200 | wenzelm | clarified names; | changeset | files |