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/command.scala
changeset 76904 e27d097d7d15
parent 76879 cccd1a583c81
child 76907 c84d2b259125 
--- a/src/Pure/PIDE/command.scala	Wed Jan 04 14:35:19 2023 +0100
+++ b/src/Pure/PIDE/command.scala	Wed Jan 04 14:50:11 2023 +0100
@@ -428,7 +428,7 @@
   def blobs_info(
     resources: Resources,
     syntax: Outer_Syntax,
-    get_blob: Document.Node.Name => Option[Document.Blob],
+    get_blob: Document.Node.Name => Option[Document.Blobs.Item],
     can_import: Document.Node.Name => Boolean,
     node_name: Document.Node.Name,
     span: Command_Span.Span
isabelle