# HG changeset patch
# User wenzelm
# Date 1513893411 -3600
# Node ID 6c837185aa61d0bf8ce75fd6282009928a5d0310
# Parent  b6282f149b50142ac40c893d347e177a636c181c
tuned output;

diff -r b6282f149b50 -r 6c837185aa61 src/Pure/Tools/bibtex.scala
--- a/src/Pure/Tools/bibtex.scala	Thu Dec 21 22:45:51 2017 +0100
+++ b/src/Pure/Tools/bibtex.scala	Thu Dec 21 22:56:51 2017 +0100
@@ -568,7 +568,7 @@
   {
     Isabelle_System.with_tmp_file("bib", "bib") { bib =>
       File.write(bib, snapshot.node.get_text)
-      html_output(List(bib), style = "unsortlist")
+      html_output(List(bib), style = "unsort")
     }
   }
 }