changeset 45667 | 546d78f0d81f |
parent 38848 | 9483bb678d96 |
child 45673 | cd41e3903fbf |
45666:d83797ef0d2d | 45667:546d78f0d81f |
---|---|
1 /* Title: Pure/Concurrent/future.scala |
1 /* Title: Pure/Concurrent/future.scala |
2 Module: Library |
|
2 Author: Makarius |
3 Author: Makarius |
3 |
4 |
4 Future values. |
5 Future values. |
5 |
6 |
6 Notable differences to scala.actors.Future (as of Scala 2.7.7): |
7 Notable differences to scala.actors.Future (as of Scala 2.7.7): |