src/Pure/Tools/bibtex.scala
changeset 67250 6c837185aa61
parent 67248 68177abb2988
child 67251 573077aa2826
equal deleted inserted replaced
67249:b6282f149b50 67250:6c837185aa61
   566 
   566 
   567   def present(snapshot: Document.Snapshot): String =
   567   def present(snapshot: Document.Snapshot): String =
   568   {
   568   {
   569     Isabelle_System.with_tmp_file("bib", "bib") { bib =>
   569     Isabelle_System.with_tmp_file("bib", "bib") { bib =>
   570       File.write(bib, snapshot.node.get_text)
   570       File.write(bib, snapshot.node.get_text)
   571       html_output(List(bib), style = "unsortlist")
   571       html_output(List(bib), style = "unsort")
   572     }
   572     }
   573   }
   573   }
   574 }
   574 }