Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/query_operation.scala
changeset 81394 95b53559af80
parent 78595 b0abf5a9dada 
--- a/src/Pure/PIDE/query_operation.scala	Thu Nov 07 20:02:10 2024 +0100
+++ b/src/Pure/PIDE/query_operation.scala	Thu Nov 07 20:08:50 2024 +0100
@@ -36,7 +36,7 @@
   editor_context: Editor_Context,
   operation_name: String,
   consume_status: Query_Operation.Status => Unit,
-  consume_output: (Document.Snapshot, Command.Results, XML.Body) => Unit
+  consume_output: (Document.Snapshot, Command.Results, List[XML.Elem]) => Unit
 ) {
   private val print_function = operation_name + "_query"
isabelle