| Tue, 13 Jun 2017 21:15:40 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 13 Jun 2017 20:19:25 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 13 Jun 2017 20:16:39 +0200 | wenzelm | clarified modules; | changeset | files |
| Tue, 13 Jun 2017 15:11:01 +0200 | wenzelm | clarified modules; | changeset | files |
| Tue, 13 Jun 2017 11:53:24 +0200 | wenzelm | updated package; | changeset | files |
| Tue, 13 Jun 2017 11:34:05 +0200 | wenzelm | tuned GUI; | changeset | files |
| Tue, 13 Jun 2017 11:13:34 +0200 | wenzelm | obsolete; | changeset | files |