changeset 67251 | 573077aa2826 |
parent 67250 | 6c837185aa61 |
child 67256 | ce7d856680d1 |
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 } |