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.
 */