# HG changeset patch
# User wenzelm
# Date 1541628225 -3600
# Node ID 438e1a11445f4f0be3180ecc47915eb18a966504
# Parent  e05c9f314f902e2e37b18850f3fd63df844e439a
tuned;

diff -r e05c9f314f90 -r 438e1a11445f src/Pure/Thy/bibtex.scala
--- 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] =
     {
diff -r e05c9f314f90 -r 438e1a11445f src/Pure/Thy/file_format.scala
--- 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] =
   {