1 /* Title: Pure/Tools/cygwin.scala
1 /* Title: Pure/System/cygwin.scala
2 Author: Makarius
3
4 Cygwin as POSIX emulation on Windows.
5 */
6