changeset 73911 | a8c5ee444991 |
parent 73906 | f627ffab387b |
child 73945 | e61add9d5b5e |
--- a/src/Pure/System/isabelle_system.scala Thu Jul 01 12:34:42 2021 +0200 +++ b/src/Pure/System/isabelle_system.scala Thu Jul 01 13:46:42 2021 +0200 @@ -27,8 +27,6 @@ proper_string(getenv(name, env)) getOrElse error("Undefined Isabelle environment variable: " + quote(name)) - def cygwin_root(): String = getenv("CYGWIN_ROOT") - /* services */