| changeset 61294 | 2d3d26e9b191 |
| parent 61270 | 28eb608b9b59 |
| child 61308 | bb0596c7f921 |
--- 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)