Wed, 25 Jul 2007 17:05:48 +0200 | wenzelm | added structure Task; | file | diff | annotate |
Tue, 24 Jul 2007 22:53:48 +0200 | wenzelm | renamed number_of_threads to max_threads; | file | diff | annotate |
Tue, 24 Jul 2007 19:44:31 +0200 | wenzelm | Compatibility file for ML systems without multithreading. | file | diff | annotate |