src/Pure/System/invoke_scala.ML
Fri, 19 Aug 2011 14:01:20 +0200 wenzelm Future.promise: explicit abort operation (like uninterruptible future job);
Mon, 11 Jul 2011 22:55:47 +0200 wenzelm tuned signature -- corresponding to Scala version;
Mon, 11 Jul 2011 17:10:32 +0200 wenzelm tuned signature;
Mon, 11 Jul 2011 16:48:02 +0200 wenzelm JVM method invocation service via Scala layer;
less more (0) tip