--- a/src/Pure/Thy/bibtex.scala Sat Dec 19 12:05:17 2020 +0100
+++ b/src/Pure/Thy/bibtex.scala Sat Dec 19 15:14:01 2020 +0100
@@ -30,7 +30,7 @@
"""theory "bib" imports Pure begin bibtex_file """ +
Outer_Syntax.quote_string(name) + """ end"""
- override def make_preview(snapshot: Document.Snapshot): Option[Presentation.Preview] =
+ override def html_document(snapshot: Document.Snapshot): Option[Presentation.HTML_Document] =
{
val name = snapshot.node_name
if (detect(name.node)) {
@@ -40,7 +40,7 @@
File.write(bib, snapshot.node.source)
Bibtex.html_output(List(bib), style = "unsort", title = title)
}
- Some(Presentation.Preview(title, content))
+ Some(Presentation.HTML_Document(title, content))
}
else None
}