# HG changeset patch # User wenzelm # Date 1398775840 -7200 # Node ID 776890e0cf716e94db497f1daf8e39991636db91 # Parent afaec818fcfd3fa9f361b67ecdc94e437261a9b6 clarified; diff -r afaec818fcfd -r 776890e0cf71 src/Pure/System/isabelle_process.scala --- a/src/Pure/System/isabelle_process.scala Tue Apr 29 14:04:10 2014 +0200 +++ b/src/Pure/System/isabelle_process.scala Tue Apr 29 14:50:40 2014 +0200 @@ -12,7 +12,7 @@ class Isabelle_Process( - receiver: Prover.Message => Unit = Console.println(_), + receiver: Prover.Message => Unit = System.out.println(_), prover_args: List[String] = Nil) { /* text and tree data */ diff -r afaec818fcfd -r 776890e0cf71 src/Pure/Tools/doc.scala --- a/src/Pure/Tools/doc.scala Tue Apr 29 14:04:10 2014 +0200 +++ b/src/Pure/Tools/doc.scala Tue Apr 29 14:50:40 2014 +0200 @@ -77,7 +77,7 @@ def view(path: Path) { - if (path.is_file) Console.println(File.read(path)) + if (path.is_file) System.out.println(Library.trim_line(File.read(path))) else { val pdf = path.ext("pdf") if (pdf.is_file) Isabelle_System.pdf_viewer(pdf) @@ -92,7 +92,7 @@ { Command_Line.tool0 { val entries = contents() - if (args.isEmpty) Console.println(cat_lines(contents_lines().map(_._2))) + if (args.isEmpty) System.out.println(cat_lines(contents_lines().map(_._2))) else { args.foreach(arg => entries.collectFirst { case Doc(name, _, path) if arg == name => path } match {