src/Pure/System/invoke_scala.scala
2011-07-11 wenzelm 2011-07-11 JVM method invocation service via Scala layer;
2011-07-10 wenzelm 2011-07-10 some support to invoke Scala methods under program control;