| Wed, 15 Mar 2017 10:43:54 +0100 | wenzelm | map values statically; | changeset | files |
| Wed, 15 Mar 2017 10:31:42 +0100 | wenzelm | clarified modules; | changeset | files |
| Wed, 15 Mar 2017 10:08:27 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 14 Mar 2017 23:25:53 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 14 Mar 2017 22:05:59 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 14 Mar 2017 21:54:46 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 14 Mar 2017 21:43:54 +0100 | wenzelm | clarified singleton module; | changeset | files |
| Tue, 14 Mar 2017 21:36:27 +0100 | wenzelm | proper plugin access; | changeset | files |
| Tue, 14 Mar 2017 21:32:12 +0100 | wenzelm | clarified modules; | changeset | files |
| Tue, 14 Mar 2017 21:26:25 +0100 | wenzelm | proper plugin access; | changeset | files |
| Tue, 14 Mar 2017 21:24:33 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 14 Mar 2017 21:14:57 +0100 | wenzelm | prefer local variables; | changeset | files |
| Tue, 14 Mar 2017 21:11:04 +0100 | wenzelm | clarified modules; | changeset | files |
| Tue, 14 Mar 2017 20:50:21 +0100 | wenzelm | avoid global variables with implicit initialization; | changeset | files |
| Tue, 14 Mar 2017 20:39:50 +0100 | wenzelm | more robust early initialization; | changeset | files |
| Tue, 14 Mar 2017 20:17:44 +0100 | wenzelm | show user error as on command-line, e.g. relevant for unexpected crashes; | changeset | files |