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. |