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