src/Pure/System/invoke_scala.ML
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