clarified;
authorwenzelm
Tue Apr 29 14:50:40 2014 +0200 (2014-04-29)
changeset 56784776890e0cf71
parent 56783 afaec818fcfd
child 56785 df03bf8c36a1
clarified;
src/Pure/System/isabelle_process.scala
src/Pure/Tools/doc.scala
     1.1 --- a/src/Pure/System/isabelle_process.scala	Tue Apr 29 14:04:10 2014 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Tue Apr 29 14:50:40 2014 +0200
     1.3 @@ -12,7 +12,7 @@
     1.4  
     1.5  
     1.6  class Isabelle_Process(
     1.7 -  receiver: Prover.Message => Unit = Console.println(_),
     1.8 +  receiver: Prover.Message => Unit = System.out.println(_),
     1.9    prover_args: List[String] = Nil)
    1.10  {
    1.11    /* text and tree data */
     2.1 --- a/src/Pure/Tools/doc.scala	Tue Apr 29 14:04:10 2014 +0200
     2.2 +++ b/src/Pure/Tools/doc.scala	Tue Apr 29 14:50:40 2014 +0200
     2.3 @@ -77,7 +77,7 @@
     2.4  
     2.5    def view(path: Path)
     2.6    {
     2.7 -    if (path.is_file) Console.println(File.read(path))
     2.8 +    if (path.is_file) System.out.println(Library.trim_line(File.read(path)))
     2.9      else {
    2.10        val pdf = path.ext("pdf")
    2.11        if (pdf.is_file) Isabelle_System.pdf_viewer(pdf)
    2.12 @@ -92,7 +92,7 @@
    2.13    {
    2.14      Command_Line.tool0 {
    2.15        val entries = contents()
    2.16 -      if (args.isEmpty) Console.println(cat_lines(contents_lines().map(_._2)))
    2.17 +      if (args.isEmpty) System.out.println(cat_lines(contents_lines().map(_._2)))
    2.18        else {
    2.19          args.foreach(arg =>
    2.20            entries.collectFirst { case Doc(name, _, path) if arg == name => path } match {