Sat, 16 Feb 2008 16:44:00 +0100 | wenzelm | removed managed_process (cf. General/shell_process.ML); | file | diff | annotate |
Fri, 15 Feb 2008 23:22:02 +0100 | wenzelm | support for managed external processes; | file | diff | annotate |
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 |