Mon, 19 Jan 2009 21:04:30 +0100 | wenzelm | turned Token.Kind into Enumeration; | changeset | files |
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 |