Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/build_release.scala
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 =
     {
isabelle