src/Tools/VSCode/src/document_model.scala

     def text: String = doc.text
 
     lazy val bytes: Bytes = Bytes(text)
     lazy val chunk: Symbol.Text_Chunk = Symbol.Text_Chunk(text)
     lazy val bibtex_entries: List[Text.Info[String]] =
-      try { Bibtex.document_entries(text) }
+      try { Bibtex.entries(text) }
       catch { case ERROR(_) => Nil }
   }
 
   def init(session: Session, editor: Server.Editor, node_name: Document.Node.Name): Document_Model =
     Document_Model(session, editor, node_name, Content.empty)

   /* blob */
 
   def get_blob: Option[Document.Blob] =
     if (is_theory) None
     else Some((Document.Blob(content.bytes, content.chunk, pending_edits.nonEmpty)))
+
+
+  /* bibtex entries */
+
+  def bibtex_entries: List[Text.Info[String]] =
+    model.content.bibtex_entries
 
 
   /* edits */
 
   def change_text(text: String, range: Option[Line.Range] = None): Option[Document_Model] =