src/Pure/System/progress.scala
10 months ago wenzelm 2018-09-03 more detailed progress;
10 months ago wenzelm 2018-09-02 clarified signature;
11 months ago wenzelm 2018-08-18 optional notification of nodes_status (via progress); more accurate changed.nodes wrt. dep_theories; tuned signature;
13 months ago wenzelm 2018-06-09 clarified signature: more uniform theory_message (see also d7920eb7de54);
13 months ago wenzelm 2018-05-30 report theory progress via PIDE node status;
14 months ago wenzelm 2018-05-28 clarified signature;
16 months ago wenzelm 2018-03-16 tuned signature;
19 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;