| Mon, 19 Jan 2009 23:29:44 +0100 | wenzelm | joined Document with ProofDocument; | changeset | files |
| Mon, 19 Jan 2009 21:58:38 +0100 | wenzelm | eliminated explicit method equals, which is always behind == / != anyway in Scala; | changeset | files |
| Mon, 19 Jan 2009 21:38:50 +0100 | wenzelm | superficial tuning; | changeset | files |
| 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 |
| Fri, 16 Jan 2009 23:00:24 +0100 | wenzelm | merged | changeset | files |
| Fri, 16 Jan 2009 16:54:01 +0100 | wenzelm | removed jEdit/build-support (belongs to src distribution); | changeset | files |