[isabelle-dev] NEWS

Tue, 16 Sep 2008 18:03:54 +0200 (CEST) 

* Multithreading for Poly/ML 5.1 is no longer supported, only for
Poly/ML 5.2 or later.

Reply via email to