src/Pure/Thy/store.scala

--- a/src/Pure/Thy/store.scala	Tue Jun 27 11:17:52 2023 +0200
+++ b/src/Pure/Thy/store.scala	Tue Jun 27 11:39:02 2023 +0200
@@ -302,8 +302,6 @@
   def open_database(name: String, output: Boolean = false): SQL.Database =
     try_open_database(name, output = output) getOrElse error_database(name)
 
-  def prepare_output(): Unit = Isabelle_System.make_directory(output_dir + Path.basic("log"))
-
   def clean_output(
     database_server: Option[SQL.Database],
     name: String,