--- a/src/Pure/Admin/build_history.scala Sat Jan 28 19:47:15 2023 +0100
+++ b/src/Pure/Admin/build_history.scala Sat Jan 28 20:13:40 2023 +0100
@@ -557,17 +557,6 @@
rev = rev, afp_rev = afp_rev, afp_root = if (afp) afp_repos else None)
}
- def execute(command: String, args: String,
- echo: Boolean = false,
- strict: Boolean = true
- ): Unit =
- ssh.execute(
- Isabelle_System.export_isabelle_identifier(isabelle_identifier) +
- ssh.bash_path(isabelle_self + Path.explode(command)) + " " + args,
- progress_stdout = progress.echo_if(echo, _),
- progress_stderr = progress.echo_if(echo, _),
- strict = strict).check
-
sync(isabelle_self)
val self_isabelle =