Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
use alphabetic order before history order;
authorwenzelm
Thu, 03 Sep 2015 11:39:27 +0200
changeset 61099 64dcd8609962
parent 61098 e1b4b24f2ebd
child 61100 4d9efd5004c8
use alphabetic order before history order;
src/Tools/jEdit/src/bibtex_jedit.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/bibtex_jedit.scala	Wed Sep 02 23:31:41 2015 +0200
+++ b/src/Tools/jEdit/src/bibtex_jedit.scala	Thu Sep 03 11:39:27 2015 +0200
@@ -84,7 +84,7 @@
       entries = complete(name).filter(_ != orig)
       if entries.nonEmpty
       items =
-        entries.map({
+        entries.sorted.map({
           case entry =>
             val full_name = Long_Name.qualify(Markup.CITATION, entry)
             val description = List(entry, "(BibTeX entry)")
isabelle