diff -r 4817154180d6 -r fc4d65afdf13 src/Pure/Concurrent/future.scala
--- 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.
 */