src/Pure/Concurrent/simple_thread.scala

--- a/src/Pure/Concurrent/simple_thread.scala	Tue Sep 21 21:53:15 2010 +0200
+++ b/src/Pure/Concurrent/simple_thread.scala	Tue Sep 21 22:01:27 2010 +0200
@@ -26,7 +26,10 @@
     thread
   }
 
-  /* future result */
+  def fork(body: => Unit): Thread = fork()(body)
+
+
+  /* future result via thread */
 
   def future[A](name: String = "", daemon: Boolean = false)(body: => A): Future[A] =
   {