| Wed, 15 Jul 2020 16:10:43 +0200 | wenzelm | clarified user counters: expose tasks to external monitor; | changeset | files |
| Wed, 15 Jul 2020 12:43:36 +0200 | wenzelm | proper platform path for Windows; | changeset | files |
| Wed, 15 Jul 2020 12:30:25 +0200 | wenzelm | clarified signature; | changeset | files |
| Wed, 15 Jul 2020 12:04:48 +0200 | wenzelm | support for monitoring of external ML process; | changeset | files |
| Wed, 15 Jul 2020 11:56:43 +0200 | wenzelm | clarified signature; | changeset | files |
| Mon, 13 Jul 2020 23:23:35 +0200 | wenzelm | more robust; | changeset | files |
| Mon, 13 Jul 2020 23:10:47 +0200 | wenzelm | support for monitoring of external ML process; | changeset | files |