changeset 43752 | 0517a69de5d6 |
parent 43743 | 8786e36b8142 |
child 43815 | 4f6e2965d821 |
--- a/NEWS Mon Jul 11 17:14:30 2011 +0200 +++ b/NEWS Mon Jul 11 17:22:15 2011 +0200 @@ -204,6 +204,12 @@ INCOMPATIBILITY, classical tactics and derived proof methods require proper Proof.context. +* Scala layer provides JVM method invocation service for static +methods of type (String)String, see Invoke_Scala.method in ML. +For example: + + Invoke_Scala.method "java.lang.System.getProperty" "java.home" + New in Isabelle2011 (January 2011)