# HG changeset patch
# User wenzelm
# Date 1197720510 -3600
# Node ID f37e4ac90541ffabf48c1315d8856e0795e70980
# Parent  8e001cc72ca84316a35396f958d507bb03a89af9
outputWrapped: more robust initial synchronization;

diff -r 8e001cc72ca8 -r f37e4ac90541 lib/classes/isabelle/IsabelleProcess.java
--- a/lib/classes/isabelle/IsabelleProcess.java	Sat Dec 15 12:15:28 2007 +0100
+++ b/lib/classes/isabelle/IsabelleProcess.java	Sat Dec 15 13:08:30 2007 +0100
@@ -197,7 +197,7 @@
 
     private synchronized void outputWrapped(String cmd, String text) throws IsabelleProcessException
     {
-        output(" \\<^sync> " + cmd + " " + encodeString(text) + " \\<^sync>;\n");
+        output(" \\<^sync>\n; " + cmd + " " + encodeString(text) + " \\<^sync>;\n");
     }
 
     public synchronized void command(String text) throws IsabelleProcessException