changeset 31311 | b82e55f51dcc |
parent 30612 | cb6421b6a18f |
child 31630 | 2f8ed0dca3bd |
--- a/src/Pure/ML-Systems/multithreading_polyml.ML Sun May 31 14:20:54 2009 +0200 +++ b/src/Pure/ML-Systems/multithreading_polyml.ML Sun May 31 14:46:44 2009 +0200 @@ -1,7 +1,7 @@ (* Title: Pure/ML-Systems/multithreading_polyml.ML Author: Makarius -Multithreading in Poly/ML 5.2 or later (cf. polyml/basis/Thread.sml). +Multithreading in Poly/ML 5.2.1 or later (cf. polyml/basis/Thread.sml). *) signature MULTITHREADING_POLYML =