src/HOL/Tools/async_manager.ML
2010-11-02 wenzelm 2010-11-02 simplified some time constants;
2010-10-25 wenzelm 2010-10-25 renamed Output.priority to Output.urgent_message to emphasize its special role more clearly;
2010-09-14 blanchet 2010-09-14 tuning
2010-09-14 blanchet 2010-09-14 export function
2010-09-01 blanchet 2010-09-01 remove time information in output, since it's confusing anyway
2010-09-01 blanchet 2010-09-01 finish moving file
2010-08-31 blanchet 2010-08-31 move file