src/Pure/System/invoke_scala.ML
2012-03-03 wenzelm 2012-03-03 clarified terminology of raw protocol messages;
2011-11-28 wenzelm 2011-11-28 separate module for concrete Isabelle markup;
2011-08-19 wenzelm 2011-08-19 Future.promise: explicit abort operation (like uninterruptible future job); explicit cancel_scala message -- still unused;
2011-07-11 wenzelm 2011-07-11 tuned signature -- corresponding to Scala version;
2011-07-11 wenzelm 2011-07-11 tuned signature;
2011-07-11 wenzelm 2011-07-11 JVM method invocation service via Scala layer;