# HG changeset patch
# User wenzelm
# Date 1345196234 -7200
# Node ID 90a0af19004c70463b60264ab245903e121e39a7
# Parent  574042d14fd98aa45ff66e889b7ca29f5e6a419c
tuned;

diff -r 574042d14fd9 -r 90a0af19004c Admin/PLATFORMS
--- a/Admin/PLATFORMS	Fri Aug 17 11:23:57 2012 +0200
+++ b/Admin/PLATFORMS	Fri Aug 17 11:37:14 2012 +0200
@@ -11,10 +11,10 @@
 The basic Isabelle system infrastructure provides some facilities to
 make this work, e.g. see the ML and Scala modules File and Path, or
 functions like Isabelle_System.bash.  The settings environment also
-provides some means for portability, e.g. jvm_path to keep the
-impression that Java on Windows/Cygwin adheres to Isabelle/POSIX
-standards, although inside the JVM itself there are many
-Windows-specific things.
+provides some means for portability, e.g. the bash function "jvmpath"
+to keep the impression that Java on Windows/Cygwin adheres to
+Isabelle/POSIX standards, although inside the JVM itself there are
+many Windows-specific things.
 
 When producing add-on tools, it is important to stay within this clean
 room of Isabelle, and refrain from overly ambitious system hacking.