| Fri, 31 Aug 2012 15:25:26 +0200 | wenzelm | more informative error message from failed goal forks (violating old-style TTY protocol!); | changeset | files |
| Fri, 31 Aug 2012 15:24:26 +0200 | wenzelm | avoid empty tooltips; | changeset | files |
| Fri, 31 Aug 2012 15:03:44 +0200 | wenzelm | clarified command status (again); | changeset | files |
| Fri, 31 Aug 2012 14:52:29 +0200 | wenzelm | recovered ScrollPane from d899be1cfe6d; | changeset | files |