Sun, 24 Feb 2013 15:49:07 +0100 | smolkas | tuned agressiveness of isar compression | changeset | files |
Sun, 24 Feb 2013 13:46:14 +1100 | kleing | eliminated isize in favour of size + type coercion | changeset | files |
Sat, 23 Feb 2013 22:00:12 +0100 | wenzelm | make SML/NJ happy; | changeset | files |
Sat, 23 Feb 2013 21:07:44 +0100 | wenzelm | basic setup for appbundler-1.0 for Mac OS X and Java 7; | changeset | files |
Sat, 23 Feb 2013 17:47:51 +0100 | wenzelm | more robust handling of repeated interrupts while terminating managed process; | changeset | files |
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 |