2008-01-02 agoadded Multithreading.max_threads_value, which maps a value of 0 to number of CPUs;
wenzelm [Wed, 02 Jan 2008 16:32:53 +0100] rev 25775
added Multithreading.max_threads_value, which maps a value of 0 to number of CPUs;

2008-01-02 agoadded usedir -M max (alias for -M 0);
wenzelm [Wed, 02 Jan 2008 16:32:52 +0100] rev 25774
added usedir -M max (alias for -M 0);

2008-01-02 agonew section for directed sets
huffman [Wed, 02 Jan 2008 16:17:49 +0100] rev 25773
new section for directed sets

2008-01-02 agosplit of class uminus
haftmann [Wed, 02 Jan 2008 15:39:42 +0100] rev 25772
split of class uminus

2008-01-02 agoempty dictionaries for OCaml
haftmann [Wed, 02 Jan 2008 15:14:27 +0100] rev 25771
empty dictionaries for OCaml

2008-01-02 agoclarified policy
haftmann [Wed, 02 Jan 2008 15:14:26 +0100] rev 25770
clarified policy

2008-01-02 agotuned
haftmann [Wed, 02 Jan 2008 15:14:25 +0100] rev 25769
tuned

2008-01-02 agosome more antiquotations
haftmann [Wed, 02 Jan 2008 15:14:24 +0100] rev 25768
some more antiquotations

2008-01-02 agoindex now a copy of nat rather than int
haftmann [Wed, 02 Jan 2008 15:14:23 +0100] rev 25767
index now a copy of nat rather than int

2008-01-02 agoabsolute import
haftmann [Wed, 02 Jan 2008 15:14:22 +0100] rev 25766
absolute import