# HG changeset patch
# User wenzelm
# Date 1197725750 -3600
# Node ID 2fdb26d45184984a51e51922edb95742f293168e
# Parent  ebdff0dca2a53aac1858ed4c95aa254dcd9f1432
package isabelle;
replaced outputWrapped by outputSync;

diff -r ebdff0dca2a5 -r 2fdb26d45184 lib/classes/isabelle/IsabelleProcess.java
--- a/lib/classes/isabelle/IsabelleProcess.java	Sat Dec 15 13:08:33 2007 +0100
+++ b/lib/classes/isabelle/IsabelleProcess.java	Sat Dec 15 14:35:50 2007 +0100
@@ -17,6 +17,8 @@
  * I/O is fully asynchronous, with unrestricted buffers.  Text is encoded as UTF-8.
  */
 
+package isabelle;
+
 import java.io.*;
 import java.util.Locale;
 import java.util.concurrent.LinkedBlockingQueue;
@@ -195,19 +197,19 @@
         }
     }
 
-    private synchronized void outputWrapped(String cmd, String text) throws IsabelleProcessException
+    private synchronized void outputSync(String text) throws IsabelleProcessException
     {
-        output(" \\<^sync>\n; " + cmd + " " + encodeString(text) + " \\<^sync>;\n");
+        output(" \\<^sync>\n; " + text + " \\<^sync>;\n");
     }
 
     public synchronized void command(String text) throws IsabelleProcessException
     {
-        outputWrapped("Isabelle.command", text);
+        outputSync("Isabelle.command " + encodeString(text));
     }
 
     public synchronized void ML(String text) throws IsabelleProcessException
     {
-        outputWrapped("ML", text);
+        outputSync("ML " + encodeString(text));
     }