| Sat, 22 May 2010 22:30:43 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 22 May 2010 22:30:37 +0200 | wenzelm | access statically typed dockable windows; | changeset | files |
| Sat, 22 May 2010 22:05:41 +0200 | wenzelm | simplified dockables using class Dockable; | changeset | files |
| Sat, 22 May 2010 21:48:01 +0200 | wenzelm | generic dockable window; | changeset | files |
| Sat, 22 May 2010 20:59:55 +0200 | wenzelm | separate event bus and dockable for raw output (stdout); | changeset | files |
| Sat, 22 May 2010 20:37:59 +0200 | wenzelm | more Mac OS problems; | changeset | files |
| Sat, 22 May 2010 20:37:20 +0200 | wenzelm | ignore system messages; | changeset | files |
| Sat, 22 May 2010 20:20:51 +0200 | wenzelm | use proper ISABELLE_PLATFORM instead of adhoc uname; | changeset | files |