# 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 {