| 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 |