Admin/PLATFORMS
changeset 48836 90a0af19004c
parent 48833 10584ca5785f
child 49144 84699f37481d
equal deleted inserted replaced
48835:574042d14fd9 48836:90a0af19004c
     9 as possible.
     9 as possible.
    10 
    10 
    11 The basic Isabelle system infrastructure provides some facilities to
    11 The basic Isabelle system infrastructure provides some facilities to
    12 make this work, e.g. see the ML and Scala modules File and Path, or
    12 make this work, e.g. see the ML and Scala modules File and Path, or
    13 functions like Isabelle_System.bash.  The settings environment also
    13 functions like Isabelle_System.bash.  The settings environment also
    14 provides some means for portability, e.g. jvm_path to keep the
    14 provides some means for portability, e.g. the bash function "jvmpath"
    15 impression that Java on Windows/Cygwin adheres to Isabelle/POSIX
    15 to keep the impression that Java on Windows/Cygwin adheres to
    16 standards, although inside the JVM itself there are many
    16 Isabelle/POSIX standards, although inside the JVM itself there are
    17 Windows-specific things.
    17 many Windows-specific things.
    18 
    18 
    19 When producing add-on tools, it is important to stay within this clean
    19 When producing add-on tools, it is important to stay within this clean
    20 room of Isabelle, and refrain from overly ambitious system hacking.
    20 room of Isabelle, and refrain from overly ambitious system hacking.
    21 The existing Isabelle scripts follow a peculiar style that reflects
    21 The existing Isabelle scripts follow a peculiar style that reflects
    22 long years of experience in getting system plumbing right.
    22 long years of experience in getting system plumbing right.