changeset 73522 | b219774a71ae |
parent 73521 | a6ca869af096 |
child 73523 | 2cd23d587db9 |
--- a/src/Pure/Admin/build_release.scala Wed Mar 31 21:44:29 2021 +0200 +++ b/src/Pure/Admin/build_release.scala Wed Mar 31 22:10:56 2021 +0200 @@ -388,7 +388,7 @@ build_library: Boolean = false, parallel_jobs: Int = 1): Release = { - val hg = Mercurial.repository(Path.explode("$ISABELLE_HOME")) + val hg = Mercurial.repository(Path.ISABELLE_HOME) val release = {