src/Pure/System/isabelle_tool.scala

--- a/src/Pure/System/isabelle_tool.scala	Fri Feb 16 09:24:45 2024 +0100
+++ b/src/Pure/System/isabelle_tool.scala	Fri Feb 16 10:31:50 2024 +0100
@@ -87,6 +87,8 @@
 
   /* command line entry point */
 
+  def exe(isabelle_home: Path): Path = isabelle_home + Path.explode("bin/isabelle")
+
   def main(args: Array[String]): Unit = {
     Command_Line.tool {
       args.toList match {