changeset 67250 | 6c837185aa61 |
parent 67248 | 68177abb2988 |
child 67251 | 573077aa2826 |
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 } |