| Wed, 20 Oct 2021 16:45:10 +0200 | wenzelm | clarified modules; | changeset | files |
| Wed, 20 Oct 2021 16:36:49 +0200 | wenzelm | clarified signature; | changeset | files |
| Wed, 20 Oct 2021 11:34:28 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 20 Oct 2021 11:25:32 +0200 | wenzelm | clarified keywords and reports; | changeset | files |
| Wed, 20 Oct 2021 10:47:34 +0200 | wenzelm | clarified signature; | changeset | files |
| Wed, 20 Oct 2021 09:31:37 +0200 | desharna | merged | changeset | files |
| Tue, 19 Oct 2021 11:48:31 +0200 | desharna | proper veriT --max-time option | changeset | files |