equal
deleted
inserted
replaced
25 |
25 |
26 def getenv_strict(name: String, env: JMap[String, String] = settings()): String = |
26 def getenv_strict(name: String, env: JMap[String, String] = settings()): String = |
27 proper_string(getenv(name, env)) getOrElse |
27 proper_string(getenv(name, env)) getOrElse |
28 error("Undefined Isabelle environment variable: " + quote(name)) |
28 error("Undefined Isabelle environment variable: " + quote(name)) |
29 |
29 |
30 def cygwin_root(): String = getenv_strict("CYGWIN_ROOT") |
30 def cygwin_root(): String = getenv("CYGWIN_ROOT") |
31 |
31 |
32 |
32 |
33 /* services */ |
33 /* services */ |
34 |
34 |
35 abstract class Service |
35 abstract class Service |