diff -r 88b971fca902 -r 32755e357a51 src/Pure/System/isabelle_process.scala
--- a/src/Pure/System/isabelle_process.scala	Sun Nov 18 14:24:30 2012 +0100
+++ b/src/Pure/System/isabelle_process.scala	Sun Nov 18 15:28:58 2012 +0100
@@ -393,11 +393,18 @@
   def input_bytes(name: String, args: Array[Byte]*): Unit =
     command_input._2 ! Input_Chunks(Standard_System.string_bytes(name) :: args.toList)
 
-  def input(name: String, args: String*): Unit =
+  def input(name: String, args: String*)
   {
     receiver(new Input(name, args.toList))
     input_bytes(name, args.map(Standard_System.string_bytes): _*)
   }
 
-  def close_input(): Unit = { close(command_input); close(standard_input) }
+  def options(opts: Options): Unit =
+    input("Isabelle_Process.options", YXML.string_of_body(opts.encode))
+
+  def close_input()
+  {
+    close(command_input)
+    close(standard_input)
+  }
 }