1.1 --- a/NEWS	Mon Jul 11 17:14:30 2011 +0200
     1.2 +++ b/NEWS	Mon Jul 11 17:22:15 2011 +0200
     1.3 @@ -204,6 +204,12 @@
     1.4  INCOMPATIBILITY, classical tactics and derived proof methods require
     1.5  proper Proof.context.
     1.6  
     1.7 +* Scala layer provides JVM method invocation service for static
     1.8 +methods of type (String)String, see Invoke_Scala.method in ML.
     1.9 +For example:
    1.10 +
    1.11 +  Invoke_Scala.method "java.lang.System.getProperty" "java.home"
    1.12 +
    1.13  
    1.14  
    1.15  New in Isabelle2011 (January 2011)