tuned;
authorwenzelm
Wed Nov 07 23:03:45 2018 +0100 (6 months ago)
changeset 69259438e1a11445f
parent 69258 e05c9f314f90
child 69260 0a9688695a1b
tuned;
src/Pure/Thy/bibtex.scala
src/Pure/Thy/file_format.scala
     1.1 --- a/src/Pure/Thy/bibtex.scala	Wed Nov 07 22:38:38 2018 +0100
     1.2 +++ b/src/Pure/Thy/bibtex.scala	Wed Nov 07 23:03:45 2018 +0100
     1.3 @@ -26,8 +26,8 @@
     1.4      val file_ext: String = "bib"
     1.5  
     1.6      override def theory_suffix: String = "bibtex_file"
     1.7 -    override def theory_content(ext_name: String): String =
     1.8 -      """theory "bib" imports Pure begin bibtex_file """ + quote(ext_name) + """ end"""
     1.9 +    override def theory_content(name: String): String =
    1.10 +      """theory "bib" imports Pure begin bibtex_file """ + quote(name) + """ end"""
    1.11  
    1.12      override def make_preview(snapshot: Document.Snapshot): Option[Present.Preview] =
    1.13      {
     2.1 --- a/src/Pure/Thy/file_format.scala	Wed Nov 07 22:38:38 2018 +0100
     2.2 +++ b/src/Pure/Thy/file_format.scala	Wed Nov 07 23:03:45 2018 +0100
     2.3 @@ -51,7 +51,7 @@
     2.4    /* implicit theory context: name and content */
     2.5  
     2.6    def theory_suffix: String = ""
     2.7 -  def theory_content(ext_name: String): String = ""
     2.8 +  def theory_content(name: String): String = ""
     2.9  
    2.10    def make_theory_name(resources: Resources, name: Document.Node.Name): Option[Document.Node.Name] =
    2.11    {