| Mon, 17 Aug 2020 16:26:58 +0200 | wenzelm | allow user-defined server commands via isabelle_scala_service; | changeset | files |
| Mon, 17 Aug 2020 13:16:42 +0200 | wenzelm | more systematic support for special directories; | changeset | files |
| Mon, 17 Aug 2020 12:35:03 +0200 | wenzelm | proper init of cumulative settings; | changeset | files |