| 2008-01-02 | wenzelm | 2008-01-02 | added Multithreading.max_threads_value, which maps a value of 0 to number of CPUs; | file | diff | annotate |
| 2007-12-20 | wenzelm | 2007-12-20 | added get/put_data; | file | diff | annotate |
| 2007-12-18 | wenzelm | 2007-12-18 | signature BASIC_MULTITHREADING; added specific serial number generator, which avoid the global CRITICAL lock; | file | diff | annotate |
| 2007-09-24 | wenzelm | 2007-09-24 | renamed ML-Systems/multithreading_dummy.ML to ML-Systems/multithreading.ML; | file | diff | annotate |