| 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 |
| Fri, 16 Jan 2009 22:57:47 +0100 | wenzelm | IsabelleProcess.parse_message (message markup within Scala layer); | changeset | files |
| Fri, 16 Jan 2009 22:57:24 +0100 | wenzelm | tuned import; | changeset | files |
| Mon, 12 Jan 2009 20:49:37 +0100 | immler | implemented IsabelleSideKickParser.complete | changeset | files |
| Sun, 11 Jan 2009 22:02:27 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 11 Jan 2009 21:52:40 +0100 | wenzelm | unified with dynamic version; | changeset | files |