| Wed, 02 Jan 2008 16:33:07 +0100 | wenzelm | Multithreading.max_threads := 0 refers to number of cores of underlying machine; | changeset | files |
| Wed, 02 Jan 2008 16:32:53 +0100 | wenzelm | added Multithreading.max_threads_value, which maps a value of 0 to number of CPUs; | changeset | files |
| Wed, 02 Jan 2008 16:32:52 +0100 | wenzelm | added usedir -M max (alias for -M 0); | changeset | files |
| Wed, 02 Jan 2008 16:17:49 +0100 | huffman | new section for directed sets | changeset | files |