changeset 68217 | 3e90b88b0fc2 |
parent 68214 | b0e2a19df95b |
child 68218 | 92050155593e |
--- a/src/Pure/Thy/sessions.scala Sat May 19 14:12:44 2018 +0200 +++ b/src/Pure/Thy/sessions.scala Sat May 19 14:47:54 2018 +0200 @@ -1005,6 +1005,7 @@ def prepare_output() { Isabelle_System.mkdirs(output_dir + Path.basic("log")) } + def output_heap(name: String): Path = output_dir + Path.basic(name) def output_log(name: String): Path = output_dir + log(name) def output_log_gz(name: String): Path = output_dir + log_gz(name)