# HG changeset patch
# User wenzelm
# Date 1310397735 -7200
# Node ID 0517a69de5d6e20e7decd6b72cdb5a405269e53e
# Parent  8c7f69f1825be40dc31fb0a54743b8dcb78aef05
NEWS;

diff -r 8c7f69f1825b -r 0517a69de5d6 NEWS
--- 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)