changeset 57350 | fc4d65afdf13 |
parent 56731 | 326e8a7ea287 |
child 57912 | dd9550f84106 |
--- a/src/Pure/Concurrent/future.scala Mon Jun 23 12:20:20 2014 +0200 +++ b/src/Pure/Concurrent/future.scala Mon Jun 23 12:54:48 2014 +0200 @@ -2,7 +2,7 @@ Module: PIDE Author: Makarius -Value-oriented parallelism via futures and promises in Scala -- with +Value-oriented parallel execution via futures and promises in Scala -- with signatures as in Isabelle/ML. */