tuned;

unified Command.is_proper in ML with Scala (see also 123be08eed88);

tuned order of modules;

fixed document;

turned example into library for comparing growth of functions

corrected reference

improved orderings

tuned agressiveness of isar compression

eliminated isize in favour of size + type coercion

make SML/NJ happy;

basic setup for appbundler-1.0 for Mac OS X and Java 7;

more robust handling of repeated interrupts while terminating managed process; NB: InterruptedException should have interrupted status cleared already;

more friendly message for spurious InterruptedException, which might still occur due to JVM oddities;

more explicit GUI components for dynamic actions;

clarified Progress.stopped: rising edge only; also cancel jobs that have not been considered yet;

more explicit console interrupt handling;

more permissive File.read_lines, which is relevant for Managed_Process join/kill;

support for POSIX interrupts (bypassed on Windows);

merged

tuned error messages

Coercion_Examples defines required coercions itself (no Complex_Main needed)

apply unifying substitution before building the constraint graph

more abstract intervals

more robust load_timings: ignore XML.Decode errors as well;