| Wed, 30 Jun 2021 16:53:33 +0200 | wenzelm | tuned: prefer Java interfaces; | changeset | files |
| Wed, 30 Jun 2021 15:35:39 +0200 | wenzelm | clarified package: towards stand-alone setup; | changeset | files |
| Wed, 30 Jun 2021 14:03:14 +0200 | wenzelm | tuned; | changeset | files |