--- a/src/Pure/Thy/sessions.scala Fri May 18 21:08:24 2018 +0200
+++ b/src/Pure/Thy/sessions.scala Fri May 18 21:50:46 2018 +0200
@@ -1005,10 +1005,12 @@
def prepare_output() { Isabelle_System.mkdirs(output_dir + Path.basic("log")) }
- def output_database(name: String): Path = output_dir + database(name)
def output_log(name: String): Path = output_dir + log(name)
def output_log_gz(name: String): Path = output_dir + log_gz(name)
+ def open_output_database(name: String): SQL.Database =
+ SQLite.open_database(output_dir + database(name))
+
/* input */