| Wed, 27 Jul 2022 11:08:15 +0200 | wenzelm | more robust: retain Classpath value; | changeset | files |
| Wed, 27 Jul 2022 11:03:33 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 27 Jul 2022 11:00:09 +0200 | wenzelm | mor robust; | changeset | files |
| Wed, 27 Jul 2022 09:27:40 +0200 | wenzelm | clarified modules; | changeset | files |
| Wed, 27 Jul 2022 09:03:06 +0200 | wenzelm | clarified signature; | changeset | files |
| Tue, 26 Jul 2022 20:35:42 +0200 | wenzelm | update documentation, following 21c1f82e7f5d; | changeset | files |