src/Pure/System/isabelle_system.scala

     proc.getOutputStream.close
     val output = Source.fromInputStream(proc.getInputStream, charset).mkString
     val rc = proc.waitFor
     (output, rc)
   }
-
 }
 
 
 class Isabelle_System
 {
-
   /** unique ids **/
 
   private var id_count: BigInt = 0
   def id(): String = synchronized { id_count += 1; "j" + id_count }
 

       else None
     }
   }
 
 
+
   /** system tools **/
 
   /* external processes */
 
   def execute(redirect: Boolean, args: String*): Process =

       else new FileInputStream(fifo)
     new BufferedReader(new InputStreamReader(stream, Isabelle_System.charset))
   }
 
 
+
   /** Isabelle resources **/
 
   /* components */
 
   def components(): List[String] =