src/Pure/System/invoke_scala.scala
2013-07-10 ago tuned signature;
2013-05-22 ago explicit management of Session.Protocol_Handlers, with protocol state and functions;
2012-09-20 ago more management of Invoke_Scala tasks;
2012-09-05 ago eliminated potentially confusing terminology of Scala "layer";
2011-08-12 ago clarified Exn.message;
2011-07-11 ago proper InvocationTargetException.getCause for indirect exceptions;
2011-07-11 ago JVM method invocation service via Scala layer;
2011-07-10 ago some support to invoke Scala methods under program control;