| Mon, 19 Jan 2009 20:33:26 +0100 | wenzelm | replaced type parameter C by Command (thanks to globally simultaneous scope); | changeset | files |
| Mon, 19 Jan 2009 15:56:58 +0100 | wenzelm | simplified implicit convertion Int => Position; | changeset | files |
| Fri, 16 Jan 2009 23:00:24 +0100 | wenzelm | merged | changeset | files |