| Sat, 17 Sep 2022 12:12:22 +0200 | wenzelm | omit menu for unfinished tool; | changeset | files |
| Fri, 16 Sep 2022 23:44:26 +0200 | wenzelm | include ssh + rsync as required for Isabelle tools, e.g. "isabelle sync"; | changeset | files |
| Fri, 16 Sep 2022 22:33:14 +0200 | wenzelm | more robust: snap version of docker cannot access /tmp; | changeset | files |