Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/latex.scala
changeset 77024 6e90e84f7e7c
parent 77016 a19ea85409cd
child 77035 28ac56e59d23 
--- a/src/Pure/Thy/latex.scala	Fri Jan 20 13:11:58 2023 +0100
+++ b/src/Pure/Thy/latex.scala	Fri Jan 20 13:31:58 2023 +0100
@@ -225,7 +225,7 @@
         latex_macro0(inner.kind) :::
         (if (inner.location.isEmpty) Nil
          else XML.string("[") ::: inner.location ::: XML.string("]")) :::
-        XML.string("{" + inner.citation + "}")
+        XML.string("{" + inner.citations + "}")
 
       if (inner.pos.isEmpty) body
       else List(XML.Elem(Markup.Latex_Output(inner.pos), body))
isabelle