| Wed, 02 Jan 2008 16:37:27 +0100 | huffman | new is_ub lemmas; new lub syntax for set image | changeset | files |
| 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 |
| Wed, 02 Jan 2008 15:39:42 +0100 | haftmann | split of class uminus | changeset | files |
| Wed, 02 Jan 2008 15:14:27 +0100 | haftmann | empty dictionaries for OCaml | changeset | files |
| Wed, 02 Jan 2008 15:14:26 +0100 | haftmann | clarified policy | changeset | files |