1
/* Title: Pure/System/cygwin.scala
2
Author: Makarius
3
4
Cygwin as POSIX emulation on Windows.
5
*/
6
7
package isabelle
8
9
10
import java.nio.file.Files
11
12
import scala.annotation.tailrec
13
14
15
object Cygwin
16
{
17
}