src/Pure/System/other_isabelle.scala

--- a/src/Pure/System/other_isabelle.scala	Mon Feb 19 16:25:06 2024 +0100
+++ b/src/Pure/System/other_isabelle.scala	Wed Feb 21 11:43:30 2024 +0100
@@ -147,6 +147,14 @@
     else error("Cannot proceed with existing user settings file: " + etc_settings)
   }
 
+  def debug_settings(): List[String] = {
+    val debug = System.getProperty("isabelle.debug", "") == "true"
+    if (debug) {
+      List("ISABELLE_JAVA_SYSTEM_OPTIONS=\"$ISABELLE_JAVA_SYSTEM_OPTIONS -Disabelle.debug=true\"")
+    }
+    else Nil
+  }
+
 
   /* init */