src/Pure/System/isabelle_process.scala

--- a/src/Pure/System/isabelle_process.scala	Fri Aug 13 21:30:10 2010 +0200
+++ b/src/Pure/System/isabelle_process.scala	Fri Aug 13 21:33:13 2010 +0200
@@ -373,8 +373,11 @@
 
   def input_raw(text: String): Unit = standard_input ! Input_Text(text)
 
+  def input_bytes(name: String, args: Array[Byte]*): Unit =
+    command_input ! Input_Chunks(Standard_System.string_bytes(name) :: args.toList)
+
   def input(name: String, args: String*): Unit =
-    command_input ! Input_Chunks((name :: args.toList).map(Standard_System.string_bytes))
+    input_bytes(name, args.map(Standard_System.string_bytes): _*)
 
   def close(): Unit = command_input ! Close
 }