src/Pure/System/invoke_scala.scala
2011-08-12 wenzelm 2011-08-12 clarified Exn.message;
2011-07-11 wenzelm 2011-07-11 proper InvocationTargetException.getCause for indirect exceptions; capture hard errors to ensure protocol integrity; tuned error messages;
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;