src/Pure/ML-Systems/multithreading.ML
Mon, 22 Dec 2014 20:40:37 +0100 wenzelm discontinued central critical sections: NAMED_CRITICAL / CRITICAL;
Wed, 26 Nov 2014 11:43:51 +0100 wenzelm load simple_thread.ML later, such that it benefits from redefined print_exception_trace;
Wed, 11 Dec 2013 18:02:22 +0100 wenzelm support for polml-5.5.2;
Mon, 11 Jul 2011 22:55:47 +0200 wenzelm tuned signature -- corresponding to Scala version;
Tue, 08 Feb 2011 14:09:24 +0100 wenzelm added Multithreading.interrupted (cf. java.lang.Thread.interrupted);
Wed, 22 Sep 2010 18:21:48 +0200 wenzelm renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
Wed, 30 Sep 2009 11:45:42 +0200 wenzelm tuned whitespace;
less more (0) -10 -7 tip