src/Pure/Admin/build_status.scala
changeset 65784 4763e51ceb78
parent 65782 4935bac8a850
child 65785 6107504371fb
     1.1 --- a/src/Pure/Admin/build_status.scala	Mon May 08 22:21:36 2017 +0200
     1.2 +++ b/src/Pure/Admin/build_status.scala	Mon May 08 22:31:54 2017 +0200
     1.3 @@ -151,7 +151,7 @@
     1.4      for ((data_name, sessions) <- data.entries) {
     1.5        val dir = target_dir + Path.basic(clean_name(data_name))
     1.6  
     1.7 -      progress.echo("output " + dir)
     1.8 +      progress.echo("output " + quote(data_name))
     1.9        Isabelle_System.mkdirs(dir)
    1.10  
    1.11        val session_plots =