changeset 45667 | 546d78f0d81f |
parent 45072 | e30442a2b3b2 |
child 45673 | cd41e3903fbf |
--- a/src/Pure/System/standard_system.scala Mon Nov 28 22:05:32 2011 +0100 +++ b/src/Pure/System/standard_system.scala Mon Nov 28 22:18:19 2011 +0100 @@ -1,4 +1,5 @@ /* Title: Pure/System/standard_system.scala + Module: Library Author: Makarius Standard system operations, with basic Cygwin/Posix compatibility.