Wed, 02 Jan 2008 16:32:53 +0100 | wenzelm | added Multithreading.max_threads_value, which maps a value of 0 to number of CPUs; | file | diff | annotate |
Thu, 20 Dec 2007 21:12:02 +0100 | wenzelm | added get/put_data; | file | diff | annotate |
Tue, 18 Dec 2007 22:21:42 +0100 | wenzelm | signature BASIC_MULTITHREADING; | file | diff | annotate |
Mon, 24 Sep 2007 13:53:26 +0200 | wenzelm | renamed ML-Systems/multithreading_dummy.ML to ML-Systems/multithreading.ML; | file | diff | annotate |