| Sat, 23 Feb 2013 17:12:48 +0100 | wenzelm | more friendly message for spurious InterruptedException, which might still occur due to JVM oddities; | changeset | files |
| Sat, 23 Feb 2013 15:08:53 +0100 | wenzelm | more explicit GUI components for dynamic actions; | changeset | files |
| Sat, 23 Feb 2013 14:16:07 +0100 | wenzelm | clarified Progress.stopped: rising edge only; | changeset | files |
| Sat, 23 Feb 2013 12:55:59 +0100 | wenzelm | more explicit console interrupt handling; | changeset | files |