diff -r 876e7eae22be -r 2d3d26e9b191 NEWS
--- a/NEWS	Wed Sep 30 21:05:14 2015 +0200
+++ b/NEWS	Wed Sep 30 21:32:44 2015 +0200
@@ -408,6 +408,9 @@
   - isabelle build: settings
     ISABELLE_BUILD_JAVA_OPTIONS32 vs. ISABELLE_BUILD_JAVA_OPTIONS64
 
+* Bash shell function "jvmpath" has been renamed to "platform_path": it
+is relevant both for Poly/ML and JVM processes.
+
 
 
 New in Isabelle2015 (May 2015)