--- a/src/Pure/Thy/bibtex.scala Sun Dec 06 13:49:25 2020 +0100
+++ b/src/Pure/Thy/bibtex.scala Sun Dec 06 16:14:16 2020 +0100
@@ -27,7 +27,8 @@
override def theory_suffix: String = "bibtex_file"
override def theory_content(name: String): String =
- """theory "bib" imports Pure begin bibtex_file """ + quote(name) + """ end"""
+ """theory "bib" imports Pure begin bibtex_file """ +
+ Outer_Syntax.quote_string(name) + """ end"""
override def make_preview(snapshot: Document.Snapshot): Option[Presentation.Preview] =
{