changeset 50910 | 54f06ba192ef |
parent 50118 | 89a14e495526 |
child 54717 | 42c209a6c225 |
--- a/src/Pure/ML-Systems/multithreading_polyml.ML Wed Jan 16 11:25:26 2013 +0100 +++ b/src/Pure/ML-Systems/multithreading_polyml.ML Wed Jan 16 11:31:08 2013 +0100 @@ -1,7 +1,7 @@ (* Title: Pure/ML-Systems/multithreading_polyml.ML Author: Makarius -Multithreading in Poly/ML 5.3.0 or later (cf. polyml/basis/Thread.sml). +Multithreading in Poly/ML (cf. polyml/basis/Thread.sml). *) signature MULTITHREADING_POLYML =