src/HOL/Tools/async_manager.ML
Tue, 02 Nov 2010 20:55:12 +0100 wenzelm simplified some time constants;
Mon, 25 Oct 2010 21:06:56 +0200 wenzelm renamed Output.priority to Output.urgent_message to emphasize its special role more clearly;
Tue, 14 Sep 2010 23:38:20 +0200 blanchet tuning
Tue, 14 Sep 2010 19:38:18 +0200 blanchet export function
Wed, 01 Sep 2010 23:40:40 +0200 blanchet remove time information in output, since it's confusing anyway
Wed, 01 Sep 2010 00:03:15 +0200 blanchet finish moving file
Tue, 31 Aug 2010 23:52:59 +0200 blanchet move file
less more (0) tip