| Mon, 31 Aug 2015 20:56:24 +0200 | wenzelm | proper qualified naming; | changeset | files |
| Mon, 31 Aug 2015 20:55:22 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
| Mon, 31 Aug 2015 19:34:26 +0200 | wenzelm | misc tuning and modernization; | changeset | files |
| Mon, 31 Aug 2015 19:04:24 +0200 | wenzelm | clarified context; | changeset | files |
| Mon, 31 Aug 2015 19:04:01 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 31 Aug 2015 19:02:00 +0200 | wenzelm | clarified context; | changeset | files |
| Mon, 31 Aug 2015 14:16:32 +0200 | wenzelm | tuned message; | changeset | files |