| Sat, 08 Oct 2016 12:20:20 +0200 | wenzelm | more formal directory content; | changeset | files |
| Sat, 08 Oct 2016 11:21:29 +0200 | wenzelm | tuned error; | changeset | files |
| Sat, 08 Oct 2016 11:04:47 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 08 Oct 2016 10:59:38 +0200 | wenzelm | misc tuning and clarification; | changeset | files |