tuned;
authorwenzelm
Fri Aug 17 11:37:14 2012 +0200 (2012-08-17)
changeset 4883690a0af19004c
parent 48835 574042d14fd9
child 48837 d1d806a42c91
tuned;
Admin/PLATFORMS
     1.1 --- a/Admin/PLATFORMS	Fri Aug 17 11:23:57 2012 +0200
     1.2 +++ b/Admin/PLATFORMS	Fri Aug 17 11:37:14 2012 +0200
     1.3 @@ -11,10 +11,10 @@
     1.4  The basic Isabelle system infrastructure provides some facilities to
     1.5  make this work, e.g. see the ML and Scala modules File and Path, or
     1.6  functions like Isabelle_System.bash.  The settings environment also
     1.7 -provides some means for portability, e.g. jvm_path to keep the
     1.8 -impression that Java on Windows/Cygwin adheres to Isabelle/POSIX
     1.9 -standards, although inside the JVM itself there are many
    1.10 -Windows-specific things.
    1.11 +provides some means for portability, e.g. the bash function "jvmpath"
    1.12 +to keep the impression that Java on Windows/Cygwin adheres to
    1.13 +Isabelle/POSIX standards, although inside the JVM itself there are
    1.14 +many Windows-specific things.
    1.15  
    1.16  When producing add-on tools, it is important to stay within this clean
    1.17  room of Isabelle, and refrain from overly ambitious system hacking.