Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
output_sync is now public;
authorwenzelm
Fri, 19 Sep 2008 21:00:50 +0200
changeset 28303 8c4a4f256c16
parent 28302 ef86de9c98aa
child 28304 4b0477452943
output_sync is now public;
src/Pure/Tools/isabelle_process.scala file | annotate | diff | comparison | revisions 
--- 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")
isabelle