src/Pure/Thy/bibtex.scala

--- a/src/Pure/Thy/bibtex.scala	Wed Nov 18 15:47:53 2020 +0100
+++ b/src/Pure/Thy/bibtex.scala	Wed Nov 18 15:52:12 2020 +0100
@@ -29,7 +29,7 @@
     override def theory_content(name: String): String =
       """theory "bib" imports Pure begin bibtex_file """ + quote(name) + """ end"""
 
-    override def make_preview(snapshot: Document.Snapshot): Option[Present.Preview] =
+    override def make_preview(snapshot: Document.Snapshot): Option[Presentation.Preview] =
     {
       val name = snapshot.node_name
       if (detect(name.node)) {
@@ -39,7 +39,7 @@
             File.write(bib, snapshot.node.source)
             Bibtex.html_output(List(bib), style = "unsort", title = title)
           }
-        Some(Present.Preview(title, content))
+        Some(Presentation.Preview(title, content))
       }
       else None
     }