src/Pure/Tools/doc.scala
changeset 56831 e3ccf0809d51
parent 56784 776890e0cf71
child 61157 13f4056c42d7
     1.1 --- a/src/Pure/Tools/doc.scala	Fri May 02 19:51:40 2014 +0200
     1.2 +++ b/src/Pure/Tools/doc.scala	Fri May 02 20:01:45 2014 +0200
     1.3 @@ -77,7 +77,7 @@
     1.4  
     1.5    def view(path: Path)
     1.6    {
     1.7 -    if (path.is_file) System.out.println(Library.trim_line(File.read(path)))
     1.8 +    if (path.is_file) Console.println(Library.trim_line(File.read(path)))
     1.9      else {
    1.10        val pdf = path.ext("pdf")
    1.11        if (pdf.is_file) Isabelle_System.pdf_viewer(pdf)
    1.12 @@ -92,7 +92,7 @@
    1.13    {
    1.14      Command_Line.tool0 {
    1.15        val entries = contents()
    1.16 -      if (args.isEmpty) System.out.println(cat_lines(contents_lines().map(_._2)))
    1.17 +      if (args.isEmpty) Console.println(cat_lines(contents_lines().map(_._2)))
    1.18        else {
    1.19          args.foreach(arg =>
    1.20            entries.collectFirst { case Doc(name, _, path) if arg == name => path } match {