tuned message;
authorwenzelm
Mon May 08 22:31:54 2017 +0200 (2017-05-08)
changeset 657844763e51ceb78
parent 65783 d3d5cb2d6866
child 65785 6107504371fb
tuned message;
src/Pure/Admin/build_status.scala
     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 =