# HG changeset patch
# User wenzelm
# Date 1221850850 -7200
# Node ID 8c4a4f256c16c340e1ba21c2abb8373c430e4704
# Parent  ef86de9c98aa273f0a19ffce783108803b9330f3
output_sync is now public;

diff -r ef86de9c98aa -r 8c4a4f256c16 src/Pure/Tools/isabelle_process.scala
--- a/src/Pure/Tools/isabelle_process.scala	Fri Sep 19 21:00:49 2008 +0200
+++ b/src/Pure/Tools/isabelle_process.scala	Fri Sep 19 21:00:50 2008 +0200
@@ -142,7 +142,7 @@
     output.put(text)
   }
 
-  private def output_sync(text: String) =
+  def output_sync(text: String) =
     output_raw(" \\<^sync>\n; " + text + " \\<^sync>;\n")