src/Pure/Tools/bibtex.scala
changeset 67251 573077aa2826
parent 67250 6c837185aa61
child 67256 ce7d856680d1
equal deleted inserted replaced
67250:6c837185aa61 67251:573077aa2826
   565   }
   565   }
   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.source)
   571       html_output(List(bib), style = "unsort")
   571       html_output(List(bib), style = "unsort")
   572     }
   572     }
   573   }
   573   }
   574 }
   574 }