On Tue, 23 Dec 2008, Makarius wrote:
> * Proofs of fully specified statements are run in parallel on multi-core
> systems. A speedup factor of 2-3 can be expected on a regular 4-core
> machine, if the initial heap space is made reasonably large (cf. Poly/ML
> option -H). [Poly/ML 5.2.1
* Proofs of fully specified statements are run in parallel on multi-core
systems. A speedup factor of 2-3 can be expected on a regular 4-core
machine, if the initial heap space is made reasonably large (cf. Poly/ML
option -H). [Poly/ML 5.2.1 or later]
* High-level support for concurrent