[isabelle-dev] NEWS
Makarius
makarius at sketis.net
Tue Sep 16 18:03:54 CEST 2008
Previous message (by thread):
[isabelle-dev] NEWS
Next message (by thread):
[isabelle-dev] NEWS
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
* Multithreading for Poly/ML 5.1 is no longer supported, only for Poly/ML 5.2 or later.
Previous message (by thread):
[isabelle-dev] NEWS
Next message (by thread):
[isabelle-dev] NEWS
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the isabelle-dev mailing list