equal
deleted
inserted
replaced
549 progress_stdout = progress.echo_if(echo, _), |
549 progress_stdout = progress.echo_if(echo, _), |
550 progress_stderr = progress.echo_if(echo, _), |
550 progress_stderr = progress.echo_if(echo, _), |
551 strict = strict).check |
551 strict = strict).check |
552 |
552 |
553 if (self_update) { |
553 if (self_update) { |
554 val hg = Mercurial.repository(Path.ISABELLE_HOME) |
554 val hg = Mercurial.self_repository() |
555 hg.push(self_hg.root_url, force = true) |
555 hg.push(self_hg.root_url, force = true) |
556 self_hg.update(rev = hg.parent(), clean = true) |
556 self_hg.update(rev = hg.parent(), clean = true) |
557 |
557 |
558 execute("bin/isabelle", "components -I") |
558 execute("bin/isabelle", "components -I") |
559 execute("bin/isabelle", "components -a", echo = true) |
559 execute("bin/isabelle", "components -a", echo = true) |