src/Pure/System/progress.scala
18 months ago wenzelm 2017-12-10 avoid println with its extra CR on Windows;
2017-05-26 wenzelm 2017-05-26 tuned signature;
2017-05-25 wenzelm 2017-05-25 more operations;
2017-05-23 wenzelm 2017-05-23 clarified build.out progress;
2017-05-21 wenzelm 2017-05-21 more Progress variations;
2017-05-14 wenzelm 2017-05-14 tuned signature;
2017-05-14 wenzelm 2017-05-14 clarified interface;
2017-01-16 wenzelm 2017-01-16 tuned signature;
2016-10-13 wenzelm 2016-10-13 tuned;
2016-10-08 wenzelm 2016-10-08 build_history log files with formal meta info;
2016-10-05 wenzelm 2016-10-05 misc tuning and clarification;
2015-09-29 wenzelm 2015-09-29 clarified modules;