# HG changeset patch # User wenzelm # Date 1711541824 -3600 # Node ID c43a51fde4f5fd06105a75773ae57f506ef92a3f # Parent 77e605c6679768b8f07a663d315f7f56674f448b tuned signature: more permissive; diff -r 77e605c66797 -r c43a51fde4f5 src/Pure/System/other_isabelle.scala --- a/src/Pure/System/other_isabelle.scala Wed Mar 27 12:54:43 2024 +0100 +++ b/src/Pure/System/other_isabelle.scala Wed Mar 27 13:17:04 2024 +0100 @@ -33,8 +33,8 @@ val isabelle_home: Path, val isabelle_identifier: String, isabelle_home_url: String, - ssh: SSH.System, - progress: Progress + val ssh: SSH.System, + val progress: Progress ) { other_isabelle =>