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 |
Sat, 23 Feb 2013 12:28:18 +0100 | wenzelm | more permissive File.read_lines, which is relevant for Managed_Process join/kill; | changeset | files |
Sat, 23 Feb 2013 11:27:45 +0100 | wenzelm | support for POSIX interrupts (bypassed on Windows); | changeset | files |
Fri, 22 Feb 2013 20:25:51 +0100 | traytel | merged | changeset | files |
Fri, 22 Feb 2013 13:39:47 +0100 | traytel | tuned error messages | changeset | files |