Summary
- merged
- merged
- removed obsolete chmod: isabelle_process no longer supports writable heaps;
- redundant -- already provided by Poly/ML toplevel;
- prefer bash_process;
- only one nested bash process (NB: OS.System = vfork + exec /bin/sh in RTS is faster than Posix.Process.fork/exec in ML);
The file was modified | src/Pure/Tools/build.scala (diff) |
The file was modified | lib/scripts/run-polyml (diff) |
The file was modified | src/Pure/Concurrent/bash_windows.ML (diff) |
The file was modified | src/Pure/Concurrent/bash.ML (diff) |