--- a/src/Pure/Thy/bibtex.scala Wed Nov 07 22:38:38 2018 +0100
+++ b/src/Pure/Thy/bibtex.scala Wed Nov 07 23:03:45 2018 +0100
@@ -26,8 +26,8 @@
val file_ext: String = "bib"
override def theory_suffix: String = "bibtex_file"
- override def theory_content(ext_name: String): String =
- """theory "bib" imports Pure begin bibtex_file """ + quote(ext_name) + """ end"""
+ 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] =
{
--- a/src/Pure/Thy/file_format.scala Wed Nov 07 22:38:38 2018 +0100
+++ b/src/Pure/Thy/file_format.scala Wed Nov 07 23:03:45 2018 +0100
@@ -51,7 +51,7 @@
/* implicit theory context: name and content */
def theory_suffix: String = ""
- def theory_content(ext_name: String): String = ""
+ def theory_content(name: String): String = ""
def make_theory_name(resources: Resources, name: Document.Node.Name): Option[Document.Node.Name] =
{