src/Pure/System/invoke_scala.scala
Tue, 03 Nov 2015 16:49:44 +0100 wenzelm prefer Isabelle/Scala Future;
Tue, 03 Nov 2015 13:54:34 +0100 wenzelm clarified modules;
Fri, 25 Apr 2014 21:31:39 +0200 wenzelm tuned signature -- separate pool for JFuture tasks, which can be canceled;
Wed, 23 Apr 2014 12:39:23 +0200 wenzelm more abstract Exn.Interrupt and POSIX return code;
less more (0) -10 -4 tip