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. the bash function "jvmpath" |
14 provides some means for portability, e.g. the bash function |
15 to keep the impression that Java on Windows/Cygwin adheres to |
15 "platform_path" to keep the impression that Windows/Cygwin adheres to |
16 Isabelle/POSIX standards, although inside the JVM itself there are |
16 Isabelle/POSIX standards, although Poly/ML and the JVM are |
17 many Windows-specific things. |
17 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. |
95 non-standard implementations of it. |
95 non-standard implementations of it. |
96 |
96 |
97 * Perl as largely portable system programming language, with its |
97 * Perl as largely portable system programming language, with its |
98 fairly robust support for processes, signals, sockets etc. |
98 fairly robust support for processes, signals, sockets etc. |
99 |
99 |
100 * Scala with Java 1.7. Isabelle/Scala irons out many oddities and |
100 * Scala with Java 1.8. Isabelle/Scala irons out many oddities and |
101 portability issues of the Java platform. |
101 portability issues of the Java platform. |
102 |
102 |
103 |
103 |
104 Known problems |
104 Known problems |
105 -------------- |
105 -------------- |