changeset 46548 | cd41e3903fbf |
parent 46538 | 546d78f0d81f |
child 47984 | b5a5662528fb |
46547:a497c5d4a523 | 46548:cd41e3903fbf |
---|---|
1 /* Title: Pure/System/standard_system.scala |
1 /* Title: Pure/System/standard_system.scala |
2 Module: Library |
2 Module: PIDE |
3 Author: Makarius |
3 Author: Makarius |
4 |
4 |
5 Standard system operations, with basic Cygwin/Posix compatibility. |
5 Standard system operations, with basic Cygwin/Posix compatibility. |
6 */ |
6 */ |
7 |
7 |