| Sat, 17 Sep 2022 17:27:51 +0200 | wenzelm | clarified Docker base image; | changeset | files |
| Sat, 17 Sep 2022 16:50:39 +0200 | wenzelm | proper file headers; | changeset | files |
| Sat, 17 Sep 2022 16:16:38 +0200 | wenzelm | tuned messages; | changeset | files |
| Sat, 17 Sep 2022 14:45:41 +0200 | wenzelm | support for ISABELLE_MLTON_OPTIONS, notably for Ubuntu 22.04 with external mlton executable; | changeset | files |
| 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 |