outputWrapped: more robust initial synchronization;

--- 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