# HG changeset patch # User wenzelm # Date 1674420924 -3600 # Node ID 4adee07a5e487c5ad99da8d1b5291883c82f5879 # Parent 96879e303ea33af52fa2bec5c5e71e9a9698379a tuned signature; diff -r 96879e303ea3 -r 4adee07a5e48 src/Pure/Admin/other_isabelle.scala --- a/src/Pure/Admin/other_isabelle.scala Sun Jan 22 21:52:58 2023 +0100 +++ b/src/Pure/Admin/other_isabelle.scala Sun Jan 22 21:55:24 2023 +0100 @@ -15,7 +15,7 @@ new Other_Isabelle(isabelle_home.canonical, isabelle_identifier, user_home, progress) } -class Other_Isabelle( +final class Other_Isabelle private( val isabelle_home: Path, val isabelle_identifier: String, user_home: Path,