# 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 =>