src/Pure/Thy/bibtex.scala
changeset 69259 438e1a11445f
parent 69257 039edba27102
child 69294 085f31ae902d
equal deleted inserted replaced
69258:e05c9f314f90 69259:438e1a11445f
    24   {
    24   {
    25     val format_name: String = "bibtex"
    25     val format_name: String = "bibtex"
    26     val file_ext: String = "bib"
    26     val file_ext: String = "bib"
    27 
    27 
    28     override def theory_suffix: String = "bibtex_file"
    28     override def theory_suffix: String = "bibtex_file"
    29     override def theory_content(ext_name: String): String =
    29     override def theory_content(name: String): String =
    30       """theory "bib" imports Pure begin bibtex_file """ + quote(ext_name) + """ end"""
    30       """theory "bib" imports Pure begin bibtex_file """ + quote(name) + """ end"""
    31 
    31 
    32     override def make_preview(snapshot: Document.Snapshot): Option[Present.Preview] =
    32     override def make_preview(snapshot: Document.Snapshot): Option[Present.Preview] =
    33     {
    33     {
    34       val name = snapshot.node_name
    34       val name = snapshot.node_name
    35       if (detect(name.node)) {
    35       if (detect(name.node)) {