[isabelle-dev] NEWS (update)

Makarius makarius at sketis.net
Thu Oct 23 15:32:07 CEST 2008

Previous message (by thread): [isabelle-dev] [polyml] Release 5.2.1 (fwd)
Next message (by thread): [isabelle-dev] [Fwd: Fwd: E Equational Theorem Prover 1.0 "Temi" released]
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [isabelle-dev] [polyml] Release 5.2.1 (fwd)
Next message (by thread): [isabelle-dev] [Fwd: Fwd: E Equational Theorem Prover 1.0 "Temi" released]
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list