# HG changeset patch # User wenzelm # Date 1675715509 -3600 # Node ID a10161fbc6deb0286e8fe7ca8c1beeaf65eb6013 # Parent 86217697863cb1540f27a1cab774d75b4826fe85 proper orientation for right-associative operations; diff -r 86217697863c -r a10161fbc6de src/Pure/Thy/bibtex.scala --- a/src/Pure/Thy/bibtex.scala Mon Feb 06 16:29:19 2023 +0100 +++ b/src/Pure/Thy/bibtex.scala Mon Feb 06 21:31:49 2023 +0100 @@ -202,7 +202,7 @@ override def toString: String = "Bibtex.Entries(" + entries.length + ")" def ::: (other: Entries): Entries = - new Entries(entries ::: other.entries, errors ::: other.errors) + new Entries(other.entries ::: entries, other.errors ::: errors) } object Session_Entries extends Scala.Fun("bibtex_session_entries") {