| Wed, 28 Nov 2012 15:59:18 +0100 | wenzelm | eliminated slightly odd identifiers; | changeset | files |
| Wed, 28 Nov 2012 15:38:12 +0100 | wenzelm | tuned syntax, potentially more robust; | changeset | files |
| Wed, 28 Nov 2012 14:55:46 +0100 | wenzelm | smarter list layout; | changeset | files |
| Tue, 27 Nov 2012 20:01:57 +0100 | wenzelm | repaired text following 491c5c81c2e8; | changeset | files |