| changeset 28303 | 8c4a4f256c16 |
| parent 28063 | 3533485fc7b8 |
| child 28344 | f4a17868bde5 |
--- 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")