| Wed, 08 Apr 2020 14:09:32 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 08 Apr 2020 14:06:26 +0200 | wenzelm | tuned -- avoid deprecated operations; | changeset | files |
| Wed, 08 Apr 2020 13:14:05 +0200 | wenzelm | more general support for isabelle_scala_service; | changeset | files |